semantic – Help for writing programming language semantics
Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.
Quellen | /macros/latex/contrib/semantic |
Dokumentation | |
Version | 2.0 |
Lizenzen | The LaTeX Project Public License |
Betreuer | Arne John Glenstrup Peter Møller Neergaard |
Enthalten in | TeX Live als semantic MiKTeX als semantic |
Themen | Informatik |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (387.3k).
Ankündigungen
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare