The zonotope abstract domain taylor1+

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

Volumn 5643 LNCS, Issue , 2009, Pages 627-633

  Ghorbal, Khalil ^a   Goubault, Eric ^a   Putot, Sylvie ^a  

^a DIF   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DOMAINS; ABSTRACT INTERPRETATIONS; CONTROL POINT; NUMERICAL VARIABLES; REAL NUMBER; ZONOTOPES;

ABSTRACTING; COMPUTER AIDED ANALYSIS; NUMBER THEORY;

PROGRAM INTERPRETERS;

EID: 70350594324     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02658-4_47     Document Type: Conference Paper

References (16)

1. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: ACM POPL 1977, pp. 238-252 (1977)
2. APRON Project. Numerical abstract domain library (2007), http://apron.cri.ensmp.fr
3. Comba, J.L.D., Stolfi, J.: Affine arithmetic and its applications to computer graphics. In: SIBGRAPI 1993 (1993)
4. Goubault, E., Putot, S.: Static analysis of numerical algorithms. In: Yi, K. (ed.) SAS 2006. LNCS, vol. 4134, pp. 18-34. Springer, Heidelberg (2006)
5. Goubault, E., Putot, S.: Perturbed affine arithmetic for invariant computation in numerical program analysis (2008), http://arxiv.org/abs/0807.2961
6. Miné, A.: The Octagon abstract domain. Higher-Order and Symbolic Computation, 31-100 (2006)
7. Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: ACM POPL 1978, pp. 84-97 (1978)
8. Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 291-305. Springer, Heidelberg (2005)
9. Guibas, L.J., Nguyen, A., Zhang, L.: Zonotopes as bounding volumes. In: Symposium on Discrete Algorithms, pp. 803-812 (2003)
10. Kühn, W.: Zonotope dynamics in numerical quality control. In: Mathematical Visualization, pp. 125-134. Springer, Heidelberg (1998)
11. Jeannet., B., et al.: Newpolka library, http://www.inrialpes.fr/pop-art/ people/bjeannet/newpolka
12. PPL Project. The Parma Polyhedra Library, http://www.cs.unipr.it/ppl/
13. Miné, A.: Symbolic methods to enhance the precision of numerical abstract domains. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol. 3855, pp. 348-363. Springer, Heidelberg (2005)
14. Goubault, E., Putot, S., Baufreton, P., Gassino, J.: Static analysis of the accuracy in control systems: Principles and experiments. In: FMICS (2007)
15. Borchers, B.: A C library for Semidefinite Programming (1999), https://projects.coin-or.org/Csdp
16. Jansson, C., Chaykin, D., Keil, C.: Rigorous error bounds for the optimal value in semidefinite programming. SIAM J. Numer. Anal. 46(1), 180-200 (2007)