Program transformations in a denotational setting

DOI10.1145/3916.3917zbMath0566.68013OpenAlexW2032277118MaRDI QIDQ3681904

Flemming Nielson

Publication date: 1985

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.582.7408

zbMATH Keywords

denotational semanticsabstract interpretationProgram transformationsdata flow information

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Hoare Logic for Disjunctive Information Flow, Parallélisation sémantique, Inverse-limit and topological aspects of abstract interpretation, Two-level semantics and abstract interpretation, Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis^†, A security flow control algorithm and its denotational semantics correctness proof, Using transformations in the implementation of higher-order functions, Abstract Interpretation From a Denotational-semantics Perspective, Incorporating static analysis in a combinator-based compiler, MetaML and multi-stage programming with explicit annotations