Semantics encoding (original) (raw)
Un encodage sémantique est une traduction entre deux langages formels. Dans le domaine de l'informatique, les encodages les plus courants sont la compilation d'un langage de programmation en langage machine ou en langage intermédiaire et la conversion d'un document depuis un format de données vers un autre. La compilation d'un langage de mise en forme tel que TeX, LaTeX ou TEI vers PostScript ou PDF est aussi une forme d'encodage. De même, certains préprocesseurs de haut-niveau tels qu'Apple ou pour Objective Caml, procèdent à des encodages entre divers langages de programmation.
| Property | Value |
|---|---|
| dbo:abstract | Un encodage sémantique est une traduction entre deux langages formels. Dans le domaine de l'informatique, les encodages les plus courants sont la compilation d'un langage de programmation en langage machine ou en langage intermédiaire et la conversion d'un document depuis un format de données vers un autre. La compilation d'un langage de mise en forme tel que TeX, LaTeX ou TEI vers PostScript ou PDF est aussi une forme d'encodage. De même, certains préprocesseurs de haut-niveau tels qu'Apple ou pour Objective Caml, procèdent à des encodages entre divers langages de programmation. (fr) A semantics encoding is a translation between formal languages. For programmers, the most familiar form of encoding is the compilation of a programming language into machine code or byte-code. Conversion between document formats are also forms of encoding. Compilation of TeX or LaTeX documents to PostScript are also commonly encountered encoding processes. Some high-level preprocessors such as OCaml's Camlp4 also involve encoding of a programming language into another. Formally, an encoding of a language A into language B is a mapping of all terms of A into B. If there is a satisfactory encoding of A into B, B is considered at least as powerful (or at least as expressive) as A. (en) |
| dbo:wikiPageExternalLink | http://www.program-transformation.org/ |
| dbo:wikiPageID | 1758417 (xsd:integer) |
| dbo:wikiPageLength | 7807 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 770506140 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Compiler dbr:Formal_language dbr:HTML dbr:TeX dbc:Formal_languages dbr:JoCaml dbr:LaTeX dbr:Bisimulation dbr:PostScript dbr:OCaml dbr:Camlp4 dbr:Semantic_dictionary_encoding dbr:Semantics dbr:Acute_(programming_language) |
| dbp:wikiPageUsesTemplate | dbt:Unreferenced |
| dct:subject | dbc:Formal_languages |
| gold:hypernym | dbr:Translation |
| rdf:type | yago:Abstraction100002137 yago:Communication100033020 yago:Language106282651 dbo:Book yago:WikicatFormalLanguages |
| rdfs:comment | Un encodage sémantique est une traduction entre deux langages formels. Dans le domaine de l'informatique, les encodages les plus courants sont la compilation d'un langage de programmation en langage machine ou en langage intermédiaire et la conversion d'un document depuis un format de données vers un autre. La compilation d'un langage de mise en forme tel que TeX, LaTeX ou TEI vers PostScript ou PDF est aussi une forme d'encodage. De même, certains préprocesseurs de haut-niveau tels qu'Apple ou pour Objective Caml, procèdent à des encodages entre divers langages de programmation. (fr) A semantics encoding is a translation between formal languages. For programmers, the most familiar form of encoding is the compilation of a programming language into machine code or byte-code. Conversion between document formats are also forms of encoding. Compilation of TeX or LaTeX documents to PostScript are also commonly encountered encoding processes. Some high-level preprocessors such as OCaml's Camlp4 also involve encoding of a programming language into another. (en) |
| rdfs:label | Encodage sémantique (fr) Semantics encoding (en) |
| owl:sameAs | freebase:Semantics encoding yago-res:Semantics encoding wikidata:Semantics encoding dbpedia-fr:Semantics encoding https://global.dbpedia.org/id/4uey8 |
| prov:wasDerivedFrom | wikipedia-en:Semantics_encoding?oldid=770506140&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Semantics_encoding |
| is dbo:wikiPageWikiLink of | dbr:Resource_Description_Framework dbr:Index_of_philosophy_articles_(R–Z) dbr:Gödel_numbering dbr:IonCube dbr:Code dbr:Encode dbr:Self-reference dbr:Semantic_dictionary_encoding |
| is foaf:primaryTopic of | wikipedia-en:Semantics_encoding |