Side effects and aliasing can have simple axiomatic descriptions

DOI10.1145/4472.4474zbMath0575.68011OpenAlexW2032396207MaRDI QIDQ3694663

Hans-J. Boehm

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

completenessprogramming languagesaliasingside effectLISPAlgol 68expression language

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Hoare logic for Java in Isabelle/HOL ⋮ Proof obligations for blocks and procedures ⋮ Inferring the equivalence of functional programs that mutate data ⋮ A generic complete dynamic logic for reasoning about purity and effects ⋮ Equivalence in functional languages with effects

Uses Software

• ALGOL 68

This page was built for publication: Side effects and aliasing can have simple axiomatic descriptions