The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving (Q4645809)

From MaRDI portal
scientific article; zbMATH DE number 7000087
Language Label Description Also known as
English
The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving
scientific article; zbMATH DE number 7000087

    Statements

    The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving (English)
    0 references
    0 references
    0 references
    11 January 2019
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    theorem prover
    0 references
    operational semantics
    0 references
    abstract machine
    0 references
    functional language
    0 references
    denotational semantics
    0 references
    0 references