semantic

Help for writing programming language semantics

Version:
2.0
Copyright:
License:
lppl
Packaged on:
07/29/2016 17:50:04
Number of files:
9
Size on disk:
445.9 kB

Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.