A New Numerical Abstract Domain Based on Difference-Bound MatricesReportar como inadecuado




A New Numerical Abstract Domain Based on Difference-Bound Matrices - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LIENS - Laboratoire d-informatique de l-école normale supérieure

Abstract : This paper presents a new numerical abstract domain for static analysis by abstract interpretation. This domain allows us to represent invariants of the form x-y



Autor: Antoine Miné -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados