Abstract interpretation using typed decision graphs
- 31 May 1998
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 31 (1) , 91-112
- https://doi.org/10.1016/s0167-6423(96)00042-1
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Evaluation of the domain propThe Journal of Logic Programming, 1995
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Constructive versions of Tarski’s fixed point theoremsPacific Journal of Mathematics, 1979
- Binary Decision DiagramsIEEE Transactions on Computers, 1978