#

Search | Home | Alpha | Brief | Topical | Hierarchical

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 authors are Peter Møller Neergaard and Arne John Glenstrup.

License: lppl Version: 2.0 Catalogued: 2007-01-15

- Visit
  - Visit a nearby CTAN:/macros/latex/contrib/semantic. If this fails, try Cambridge.
  - Visit Cambridge:/macros/latex/contrib/semantic
- Download
  - Download from a nearby CTAN (automatically identified).
  - Download from Cambridge.
- Documentation
  - Package documentation: semantic.pdf.
- Distributions
  - This package is included in TeX Live.
  - This package is included in MikTeX.