LETOS -- A Lightweight Execution Tool for Operational Semantics

    Research output: Book/ReportReportOther research output

    13 Citations (Scopus)
    7 Downloads (Pure)

    Abstract

    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

    Keywords

    • EWI-1040

    Cite this

    Hartel, P. H. (1999). LETOS -- A Lightweight Execution Tool for Operational Semantics. Univ. of Southampton: Declarative Systems and Software Engineering Group.
    Hartel, Pieter H. / LETOS -- A Lightweight Execution Tool for Operational Semantics. Univ. of Southampton : Declarative Systems and Software Engineering Group, 1999. 18 p.
    @book{7e5ff593695d4b75a28554e9f112b6aa,
    title = "LETOS -- A Lightweight Execution Tool for Operational Semantics",
    abstract = "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.",
    keywords = "EWI-1040",
    author = "Hartel, {Pieter H.}",
    note = "Imported from DIES",
    year = "1999",
    month = "5",
    language = "Undefined",
    publisher = "Declarative Systems and Software Engineering Group",

    }

    Hartel, PH 1999, LETOS -- A Lightweight Execution Tool for Operational Semantics. Declarative Systems and Software Engineering Group, Univ. of Southampton.

    LETOS -- A Lightweight Execution Tool for Operational Semantics. / Hartel, Pieter H.

    Univ. of Southampton : Declarative Systems and Software Engineering Group, 1999. 18 p.

    Research output: Book/ReportReportOther research output

    TY - BOOK

    T1 - LETOS -- A Lightweight Execution Tool for Operational Semantics

    AU - Hartel, Pieter H.

    N1 - Imported from DIES

    PY - 1999/5

    Y1 - 1999/5

    N2 - 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.

    AB - 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.

    KW - EWI-1040

    M3 - Report

    BT - LETOS -- A Lightweight Execution Tool for Operational Semantics

    PB - Declarative Systems and Software Engineering Group

    CY - Univ. of Southampton

    ER -

    Hartel PH. LETOS -- A Lightweight Execution Tool for Operational Semantics. Univ. of Southampton: Declarative Systems and Software Engineering Group, 1999. 18 p.