Minimal Function Graphs are not Instrumented

Alan Mycroft, Mads Rosendahl

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    Abstract

    The minimal function graph semantics of Jones and Mycroft is a standard denotational semantics modified to include only `reachable' parts of a program. We show that it may be expressed directly in terms of the standard semantics without the need for instrumentation at the expression level and, in doing so, bring out a connection with strictness. This also makes it possible to prove a stronger theorem of correctness for the minimal function graph semantics.
    Original languageEnglish
    Title of host publicationWSA'92 Workshop on Static Analysis
    EditorsM Billaud, P Casteran, MM Corsini, K Musumbu, A Rauzy
    Number of pages8
    Place of PublicationBordeaux, France
    PublisherIRISA
    Publication date1992
    Pages60-67
    Publication statusPublished - 1992
    SeriesBigre
    Volume81-82
    ISSN0221-5225

    Cite this

    Mycroft, A., & Rosendahl, M. (1992). Minimal Function Graphs are not Instrumented. In M. Billaud, P. Casteran, MM. Corsini, K. Musumbu, & A. Rauzy (Eds.), WSA'92 Workshop on Static Analysis (pp. 60-67). IRISA. Bigre, Vol.. 81-82