http://dbpedia.org/ontology/abstract
|
Un encodage sémantique est une traduction … 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.es entre divers langages de programmation.
, A semantics encoding is a translation betw … 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.powerful (or at least as expressive) as A.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.program-transformation.org/ +
|
http://dbpedia.org/ontology/wikiPageID
|
1758417
|
http://dbpedia.org/ontology/wikiPageLength
|
7807
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
770506140
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Compiler +
, http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Semantics +
, http://dbpedia.org/resource/JoCaml +
, http://dbpedia.org/resource/Semantic_dictionary_encoding +
, http://dbpedia.org/resource/LaTeX +
, http://dbpedia.org/resource/PostScript +
, http://dbpedia.org/resource/HTML +
, http://dbpedia.org/resource/Bisimulation +
, http://dbpedia.org/resource/TeX +
, http://dbpedia.org/resource/Acute_%28programming_language%29 +
, http://dbpedia.org/resource/Category:Formal_languages +
, http://dbpedia.org/resource/Camlp4 +
, http://dbpedia.org/resource/OCaml +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Unreferenced +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_languages +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Translation +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Semantics_encoding?oldid=770506140&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Semantics_encoding +
|
owl:sameAs |
http://www.wikidata.org/entity/Q7449104 +
, https://global.dbpedia.org/id/4uey8 +
, http://rdf.freebase.com/ns/m.05tp52 +
, http://fr.dbpedia.org/resource/Encodage_s%C3%A9mantique +
, http://dbpedia.org/resource/Semantics_encoding +
, http://yago-knowledge.org/resource/Semantics_encoding +
|
rdf:type |
http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/ontology/Book +
, http://dbpedia.org/class/yago/Language106282651 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/WikicatFormalLanguages +
|
rdfs:comment |
A semantics encoding is a translation betw … 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.ng of a programming language into another.
, Un encodage sémantique est une traduction … 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.es entre divers langages de programmation.
|
rdfs:label |
Encodage sémantique
, Semantics encoding
|