Detecting global variables in denotational specifications

DOI10.1145/3318.3323zbMath0562.68008OpenAlexW2082433897MaRDI QIDQ3675504

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

denotational semanticscompilerssemantics of programming languagesinterpretersdenotational definitionglobal variables in denotational specifications

Mathematics Subject Classification ID

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

Related Items (7)

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

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