No label defined (Q5753940)

From MaRDI portal
scientific article; zbMATH DE number 4189708
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 4189708

    Statements

    0 references
    0 references
    1989
    0 references
    program equivalence
    0 references
    deduction system
    0 references
    formal system
    0 references
    programs with side effects
    0 references
    first-order Lisp-like language
    0 references
    data operations
    0 references
    control primitives
    0 references
    recursive definition of functions
    0 references
    operational semantics
    0 references
    memory models
    0 references
    decision procedure for the semantic consequence relation
    0 references

    Identifiers