Content deleted Content added
→External links: replace old link to catamaran.labs.cs.uu.nl (not found, even on Wayback Machine) with www.program-transformation.org |
Added {{unreferenced}} tag to article (TW) |
||
Line 1:
{{unreferenced|date=March 2017}}
A '''semantics encoding''' is a translation between [[formal language]]s. 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.
| |||