Flow Logics and Operational Semantics

    Research output: Contribution to journalJournal articleResearchpeer-review

    Abstract

    Flow logic is a “fast prototyping” approach to program analysis that shows great promise of being able to deal with a wide variety of languages and calculi for computation. However, seemingly innocent choices in the flow logic as well as in the operational semantics may inhibit proving the analysis correct. Our main conclusion is that environment based semantics is more flexible than either substitution based semantics or semantics making use of structural congruences (like alpha-renaming).
    Original languageEnglish
    JournalElectronic Notes in Theoretical Computer Science
    Volume10
    Pages (from-to)150-169
    ISSN1571-0661
    Publication statusPublished - 1998

    Fingerprint Dive into the research topics of 'Flow Logics and Operational Semantics'. Together they form a unique fingerprint.

    Cite this