Help for writing programming language semantics.
Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.
The authors are Peter Møller Neergaard and Arne John Glenstrup.
License: lppl Version: 2.0 Catalogued: 2012-06-13
Visit
Visit Dante:/macros/latex/contrib/semantic
Download
Documentation
Package documentation: semantic.pdf.
Distributions
This package is included in MikTeX.