CTAN Comprehensive TeX Archive Network

Directory macros/latex/contrib/semantic

Download the contents of this package in one zip archive (387.3k).

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.

LicensesThe Project Public License
MaintainerArne John Glenstrup
Peter Møller Neergaard
Contained inTeX Live as semantic
MiKTeX as semantic
TopicsComputer science
Guest Book Sitemap Contact Contact Author