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.
| Sources | /macros/latex/contrib/semantic |
| Documentation | |
| Version | 2.0 |
| Licenses | The LaTeX Project Public License |
| Maintainer | Arne John Glenstrup Peter Møller Neergaard |
| Contained in | TeX Live as semantic MiKTeX as semantic |
| Topics | Computer science |
Download the contents of this package in one zip archive (387.3k).
Announcements
Suggestions
Maybe you are interested in the following packages as well.
- sim-os-menus: Insert 'terminal' or 'context menu' or 'viewers' like in an OS
- csassignments: A wrapper for article with macros and customizations for computer science assignments
- semantic-markup: Meaningful semantic markup in the spirit of the Text Encoding Initiative
- quantumcubemodel: Representation of quantum states in the quantum cube model
Community Comments