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). Bordeaux, France: IRISA. Bigre, Vol.. 81-82
    Mycroft, Alan ; Rosendahl, Mads. / Minimal Function Graphs are not Instrumented. WSA'92 Workshop on Static Analysis. editor / M Billaud ; P Casteran ; MM Corsini ; K Musumbu ; A Rauzy. Bordeaux, France : IRISA, 1992. pp. 60-67 (Bigre, Vol. 81-82).
    @inbook{133fe52052be11dba4bc000ea68e967b,
    title = "Minimal Function Graphs are not Instrumented",
    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.",
    author = "Alan Mycroft and Mads Rosendahl",
    year = "1992",
    language = "English",
    pages = "60--67",
    editor = "M Billaud and P Casteran and MM Corsini and K Musumbu and A Rauzy",
    booktitle = "WSA'92 Workshop on Static Analysis",
    publisher = "IRISA",

    }

    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. IRISA, Bordeaux, France, Bigre, vol. 81-82, pp. 60-67.

    Minimal Function Graphs are not Instrumented. / Mycroft, Alan; Rosendahl, Mads.

    WSA'92 Workshop on Static Analysis. ed. / M Billaud; P Casteran; MM Corsini; K Musumbu; A Rauzy. Bordeaux, France : IRISA, 1992. p. 60-67 (Bigre, Vol. 81-82).

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

    TY - CHAP

    T1 - Minimal Function Graphs are not Instrumented

    AU - Mycroft, Alan

    AU - Rosendahl, Mads

    PY - 1992

    Y1 - 1992

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

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

    M3 - Book chapter

    SP - 60

    EP - 67

    BT - WSA'92 Workshop on Static Analysis

    A2 - Billaud, M

    A2 - Casteran, P

    A2 - Corsini, MM

    A2 - Musumbu, K

    A2 - Rauzy, A

    PB - IRISA

    CY - Bordeaux, France

    ER -

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