Minimal Function Graphs are not Instrumented

Alan Mycroft, Mads Rosendahl

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    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.
    OriginalsprogEngelsk
    TitelWSA'92 Workshop on Static Analysis
    RedaktørerM Billaud, P Casteran, MM Corsini, K Musumbu, A Rauzy
    Antal sider8
    Udgivelses stedBordeaux, France
    ForlagIRISA
    Publikationsdato1992
    Sider60-67
    StatusUdgivet - 1992
    NavnBigre
    Vol/bind81-82
    ISSN0221-5225

    Citer dette

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