Measuring the precision of abstract interpretations

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

Volumn 2042 LNCS, Issue , 2001, Pages 147-164

  Di Pierro, Alessandra ^a   Wiklicky, Herbert ^b  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS; MODEL CHECKING; NUMERICAL METHODS; SEMANTICS; SYNTHESIS (CHEMICAL);

ABSTRACT INTERPRETATIONS; GALOIS CONNECTION; LINEAR OPERATORS; LINEAR SPACES; NUMERICAL COMPARISON; PROBABILISTIC ABSTRACT INTERPRETATION; PROBABILISTIC SEMANTICS;

COMPUTER CIRCUITS; ABSTRACTING;

EID: 84879467813     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45142-0_9     Document Type: Conference Paper

References (20)

1. Frederick J. Beutler. The operator theory of the pseudo-inverse. Journal of Mathematical Analysis and Applications, 10:451-470,471-493, 1965. 154
2. Stephen L. Campbell and D. Meyer. Generalized Inverse of Linear Transformations. Constable and Company, London, 1979. 151
3. A. Cortesi, G. File', and W. Winsborough. The Quotient of an Abstract Interpretation. Theoretical Computer Science, 202(1-2):163-192, 1998. 162
4. Patrick Cousot. Constructive design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. In S. Brooks and M. Mislove, editors, 13th International Symposium on Mathematical Foundations of Programming Semantics (MFPS97), volume 6 of Electronic Notes in Theoretical Computer Science, Amsterdam, 1997. Elsevier. 154
5. Patrick Cousot and Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Symposium on Principles of Programming Languages (POPL), pages 238-252, Los Angeles, 1977. 147, 149, 162
6. Patrick Cousot and Radhia Cousot. Systematic Design of Program Analysis Frameworks. In Symposium on Principles of Programming Languages (POPL), pages 269-282, San Antonio, Texas, 1979. 147, 149
7. Patrick Cousot and Radhia Cousot. Abstract Interpretation and Applications to Logic Programs. Journal of Logic Programming, 13(2-3):103-180, July 1992. 152, 156, 160, 163
8. D. Dams, R. Gerth, and O. Grumberg. Abstract Interpretations of Reactive Systems. ACM Trans. Program. Lang. Syst., 19(2):253-291, 1997. 154
9. Alessandra Di Pierro and Herbert Wiklicky. An operational semantics for Probabilistic Concurrent Constraint Programming. In P. Iyer, Y. Choo, and D. Schmidt, editors, ICCL'98-International Conference on Computer Languages, pages 174-183. IEEE Computer Society Press, 1998. 148
10. Alessandra Di Pierro and Herbert Wiklicky. Probabilistic Concurrent Constraint Programming: Towards a fully abstract model. In L. Brim, J. Gruska, and J. Zlatuska, editors, MFCS'98-Mathematical Foundations of Computer Science, volume 1450 of Lecture Notes in Computer Science, pages 446-455, Berlin-New York, August 1998. Springer Verlag. 148
11. Alessandra Di Pierro and Herbert Wiklicky. Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation. In M. Gabbrielli and F. Pfenning, editors, Proceedings of PPDP'00-Priciples and Practice of Declarative Programming, pages 127-138, Monteeal, Canada, September 2000. ACM SIGPLAN, Association of Computing Machinery. 148, 152, 153, 162
12. John W. Eaton. Octave. Boston, MA, 1997. 161
13. R. Giacobazzi and F. Ranzato. Completeness in abstract interpretation: A domain perspective. In M. Johnson, editor, Proc. of the 6th International Conference on Algebraic Methodology and Software Technology (AMAST'97), volume 1349 of Lecture Notes in Computer Science, pages 231-245. Springer-Verlag, Berlin, 1997. 162
14. Neil D. Jones and Flemming Nielson. Abstract interpretation: A semantic-based tool for program analysis. In S.Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Semantic Modelling, volume 4 of Handbook of Logic in Computer Science, pages 527-636. Clarendon Press, Oxford, 1995. 147
15. Dexter Kozen. Semantics for probabilistic programs. Journal of Computer and System Sciences, 22:328-350, 1981. 148
16. Gerard J. Murphy. C-Algebras and Operator Theory. Academic Press, San Diego, 1990. 154
17. Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Aanalysis. Springer Verlag, Berlin-Heidelberg, 1999. 152, 153, 163
18. Viktor V. Prasolov. Problems and Theorems in Linear Algebra, volume 134 of Translation of Mathematical Monographs. American Mathematical Society, Providence, Rhode Island, 1994. 151
19. Walter Rudin. Functional Analysis. International Series in Pure and Applied Mathematics. McGraw-Hill, 1991. Second Edition. 149, 150, 152
20. N. Saheb-Djahromi. CPO's of measures for nondeterminism. Theoretical Computer Science, 12:19-37, 1980. 148