Frameworks for abstract interpretation

DOI10.1007/BF01178576zbMath0790.68074MaRDI QIDQ1323307

Kim Marriott

Publication date: 10 May 1994

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsnon-standard semanticsabstract interpretationcorrectness proofabstraction functionconcretization functiondataflow analysis of programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Continuous lattices and posets, applications (06B35)

Related Items (2)

Eliminating partially dead code in explicitly parallel programs ⋮ The quotient of an abstract interpretation

Cites Work

• Unnamed Item
• Strictness analysis for higher-order functions
• Strictness analysis and denotational abstract interpretation
• Theorem proving with abstraction
• Constructive versions of Tarski's fixed point theorems
• Enumeration of success patterns in logic programs
• Bottom-up dataflow analysis of normal logic programs
• The Semantics of Predicate Logic as a Programming Language

This page was built for publication: Frameworks for abstract interpretation