A 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.
|Place of Publication||Univ. of Southampton|
|Publisher||Declarative Systems and Software Engineering Group|
|Number of pages||18|
|Publication status||Published - May 1999|