LETOS -- A Lightweight Execution Tool for Operational Semantics

    Research output: Book/ReportReportOther research output

    13 Citations (Scopus)
    24 Downloads (Pure)


    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.
    Original languageUndefined
    Place of PublicationUniv. of Southampton
    PublisherDeclarative Systems and Software Engineering Group
    Number of pages18
    Publication statusPublished - May 1999


    • EWI-1040

    Cite this