Numeric Domains with Summarized Dimensions
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- The octagon abstract domainPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra LibraryLecture Notes in Computer Science, 2002
- A Few Graph-Based Relational Numerical Abstract DomainsLecture Notes in Computer Science, 2002
- Parametric shape analysis via 3-valued logicACM Transactions on Programming Languages and Systems, 2002
- Putting static analysis to work for verificationPublished by Association for Computing Machinery (ACM) ,2000
- TVLA: A System for Implementing Static AnalysesLecture Notes in Computer Science, 2000
- Verification of Real-Time Systems using Linear Relation AnalysisFormal Methods in System Design, 1997
- Generalized Constant Propagation a study in CLecture Notes in Computer Science, 1996
- Compiler Analysis of the Value Ranges for VariablesIEEE Transactions on Software Engineering, 1977
- Fourier-Motzkin elimination and its dualJournal of Combinatorial Theory, Series A, 1973