Dynamic partitioning in analyses of numerical properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1694, Issue , 1999, Pages 39-50

  Jeannet, Bertrand ^a   Halbwachs, Nicolas ^a   Raymond, Pascal ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DYNAMIC PARTITIONING; EXPONENTIAL EXPLOSION; LINEAR RELATION; NUMERICAL PROPERTIES; SYNCHRONOUS PROGRAM;

STATIC ANALYSIS;

EID: 84957695345     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48294-6_3     Document Type: Conference Paper

References (13)

1. BGL99. T. Bultan, R. Gerber, and C. League. Composite model checking: Verification with type-specific symbolic representations. Technical Report TRCS99-02, University of California, Santa Barbara, January 1999.
2. BGP97. T. Bultan, R. Gerber, and W. Pugh. Symbolic model checking of infinite state systems using presburger arithmetic. In Computer Aided Verification, CAV'97. LNCS 1254, Springer Verlag, June 1997.
3. Bou92a. F. Bourdoncle. Abstract interpretation by dynamic partitionning. Journal of Functional Programming, 2(4), 1992.
4. Bou92b. F. Bourdoncle. Sémantique des langages impératifs d'ordre supérieur et interprétation abstraite. Thesis Ecole Polytechnique, Paris, 1992.
5. CC76. P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In 2nd Int. Symp. on Programming. Dunod, Paris, 1976.
6. CC77. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages, POPL'77, Los Angeles, January 1977.
7. CC92a. P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 1992.
8. CC92b. P. Cousot and R. Cousot. Comparing the Galois connection and widening/narrowing approaches to abstract interpretation. In M. Bruynooghe and M. Wirsing, editors, PLILP'92, Leuven (Belgium), January 1992. LNCS 631, Springer Verlag.
9. CH78. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In 5th ACM Symposium on Principles of Programming Languages, POPL'78, Tucson (Arizona), January 1978.
10. Hal98. N. Halbwachs. About synchronous programming and abstract interpretation. Science of Computer Programming,Special Issue on SAS'94, 31(1), May 1998.
11. HPR97. N. Halbwachs, Y.E. Proy, and P. Roumanoff. Verification of real-time systems using linear relation analysis. Formal Methods in System Design, 11(2):157-185, August 1997.
12. JGS93. N. D. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, 1993.
13. Mau96. Ch. Mauras. Symbolic simulation of interpreted automata. In 3rd Workshop on Synchronous Programming, Dagstuhl (Germany), December 1996.