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.
|The LaTeX Project Public License
|Arne John Glenstrup
Peter Møller Neergaard
|TeX Live as semantic
MiKTeX as semantic
Download the contents of this package in one zip archive (387.3k).
Maybe you are interested in the following packages as well.
- membranecomputing: Membrane Computing notation
- termsim: Simulate Win10, Ubuntu, and Mac terminals
- semantic-markup: Meaningful semantic markup in the spirit of the Text Encoding Initiative
- lsc: Typesetting Live Sequence Charts