Catálogo de publicaciones - actas de congreso
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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 | 2008 | ACM Digital Library |
Información
Tipo de recurso:
actas de congreso
ISBN impreso
978-1-59593-689-9
Editor responsable
Association for Computing Machinery (ACM)
País de edición
Estados Unidos
Fecha de publicación
2008
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 non-termination
Ashutosh Gupta; Thomas A. Henzinger; Rupak Majumdar; Andrey Rybalchenko; Ru-Gang Xu
Pp. No disponible
Subcubic algorithms for recursive state machines
Swarat Chaudhuri
Pp. No disponible
Imperative self-adjusting computation
Umut A. Acar; Amal Ahmed; Matthias Blume
Pp. No disponible