Semantics encoding: Difference between revisions

Revision as of 21:49, 20 April 2005

Revision as of 22:31, 22 April 2005

Line 1:

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 [[Objective Caml]]'s Camlp4 or [[Apple]]'s [[WorldScript]] also involve encoding of a programming language into another.

Line 81:

* [[Compilation]]

* [[Bisimulation]]

* [[Semantics]]

* [[http://catamaran.labs.cs.uu.nl/twiki/pt/bin/view/Transform/WebChanges|The Program Transformation Wiki]]

==External links==

* [[http://catamaran.labs.cs.uu.nl/twiki/pt/bin/view/Transform/WebChanges|The Program Transformation Wiki]]

[[Category:Computer science]]