Detecting global variables in denotational specifications

DOI10.1145/3318.3323MaRDI QIDQ3675504zbMATH OpenOpenAlexFDO

Authors David A. Schmidt

Publication date 1985

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/toplas/1985-7/

zbMATH Keywords

compilersdenotational definitiondenotational semanticsglobal variables in denotational specificationsinterpreterssemantics of programming languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Detecting stack-based environments in denotational definitions
• scientific article; zbMATH DE number 3960977
• scientific article; zbMATH DE number 3890703
• scientific article; zbMATH DE number 4018355
• Full abstraction for a shared-variable parallel language

Cited in

(9)

• Detecting stack-based environments in denotational definitions
• Lambda-dropping: Transforming recursive equations into programs with block structure
• Comprehending monads
• Alias burying: Unique variables without destructive reads
• A partial evaluator for the untyped lambda-calculus
• Correctness of procedure representations in higher-order assembly language
• A uniform treatment of order of evaluation and aggregate update
• Variable declarations in natural deduction
• An efficiency comparison of some representations of purely functional arrays

This page was built for publication: Detecting global variables in denotational specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3675504)