Catálogo de publicaciones - actas de congreso
Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2020 | ACM Digital Library |
Información
Tipo de recurso:
actas de congreso
ISBN impreso
978-1-4503-8187-1
Editor responsable
Association for Computing Machinery (ACM)
País de edición
Estados Unidos
Fecha de publicación
2020-11-17
Información sobre derechos de publicación
Copyright © ACM, Inc.
Cobertura temática
Tabla de contenidos
Verificá que desde tu institución tengas acceso para descargar o
solicitar el libro completo o alguno de sus capítulos.
Proving array properties using data abstraction
Julien Braine; Laure Gonnord
Pp. No disponible
Abstract domains in SMT solving for real algebra (invited talk)
Erika Abraham
Pp. No disponible
Abstract domains for constraint programming with differential equations
Ghiles Ziat; Olivier Mullier; Julien Alexandre dit Sandretto; Christophe Garion; Alexandre Chapoutot; Xavier Thirioux
Pp. No disponible
Numeric domains meet algebraic data types
Santiago Bautista
; Thomas Jensen; Benoît Montagu
Pp. No disponible