Detecting stack-based environments in denotational definitions (Q1112581)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Detecting stack-based environments in denotational definitions
scientific article

    Statements

    Detecting stack-based environments in denotational definitions (English)
    0 references
    0 references
    1988
    0 references
    We present a statically checkable, sufficient, syntactic criterion for implementing the environment argument in a denotational definition as a global stack variable. We also show how such an environment can be implemented as a compile-time symbol table. If the denotational definition also supports a global store variable, the store can be implemented as run-time primary storage, and a conventional compile/\(evaluate\) implementation results. In addition to its value for implementation, the criterion is useful for understanding the relationship between functional and imperative programming language styles. We present two examples.
    0 references
    compiling
    0 references
    functional programming language
    0 references
    denotational definition
    0 references
    global stack variable
    0 references
    compile-time symbol
    0 references
    global store variable
    0 references
    imperative programming language
    0 references

    Identifiers