Frameworks for abstract interpretation
From MaRDI portal
Publication:1323307
DOI10.1007/BF01178576zbMath0790.68074MaRDI QIDQ1323307
Publication date: 10 May 1994
Published in: Acta Informatica (Search for Journal in Brave)
denotational semantics; non-standard semantics; abstract interpretation; correctness proof; abstraction function; concretization function; dataflow analysis of programs
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
06B35: Continuous lattices and posets, applications
Related Items
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