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.
|License||The LaTeX Project Public License|
|Maintainer||Peter Møller Neergaard|
Arne John Glenstrup
|Contained in||TeX Live as semantic|
|MiKTeX as semantic|
typeset computer-science related material|
Download the contents of this package in one zip archive (387.3k).
Maybe you are interested in the following packages as well.
- semantic-markup: Macros for meaningful semantic markup in the spirit of the Text Encoding Initiative, especially for humanities and music schola
- drawstack: Draw execution stacks
- msc: Draw MSC diagrams
- optional: Facilitate optional printing of parts of a document