Detecting stack-based environments in denotational definitions

DOI10.1016/0167-6423(88)90001-9zbMath0659.68014OpenAlexW1985282224MaRDI QIDQ1112581

David A. Schmidt

Publication date: 1988

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(88)90001-9

zbMATH Keywords

functional programming languageimperative programming languagecompilingdenotational definitioncompile-time symbolglobal stack variableglobal store variable

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 (1)

A uniform treatment of order of evaluation and aggregate update

This page was built for publication: Detecting stack-based environments in denotational definitions