Program transformations in a denotational setting
From MaRDI portal
Publication:3681904
DOI10.1145/3916.3917zbMath0566.68013MaRDI QIDQ3681904
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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis†, Using transformations in the implementation of higher-order functions, A security flow control algorithm and its denotational semantics correctness proof, MetaML and multi-stage programming with explicit annotations