Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes
Author:
- 5 September 2002
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 52-68
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Combinations of abstract domains for logic programming: open product and generic pattern constructionScience of Computer Programming, 2000
- Composite model-checkingACM Transactions on Software Engineering and Methodology, 2000
- Efficient Timed Reachability Analysis Using Clock Difference Diagrams1999
- Verification of Real-Time Systems using Linear Relation AnalysisFormal Methods in System Design, 1997
- Algebraic Decision Diagrams and Their ApplicationsFormal Methods in System Design, 1997
- Synchronous Programming of Reactive Systems1993
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- Systematic design of program analysis frameworks1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977