1,721,099 research outputs found
LETOS -- A Lightweight ExecutionTool for Operational Semantics
Get PDFA simple tool is proposed to aid in the development of operational semantics. The tool supports publication quality rendering using LATEX execution and animation using a functional programming system and derivation tree browsing using Netscape. The tool has been implemented and it has been used on a large subset of the Java Virtual Machine as well as a number of relatively small languages. The tool helps to check that a specification is operationally conservative
- …
