Catálogo de publicaciones - actas de congreso
Proceedings of the 4th international workshop on Types in language design and implementation
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 | 2009 | ACM Digital Library |
Información
Tipo de recurso:
actas de congreso
ISBN impreso
978-1-60558-420-1
Editor responsable
Association for Computing Machinery (ACM)
País de edición
Estados Unidos
Fecha de publicación
2009
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.
Secure compilation of a multi-tier web language
Ioannis G. Baltopoulos; Andrew D. Gordon
Pp. No disponible
Design patterns in separation logic
Neelakantan R. Krishnaswami; Jonathan Aldrich; Lars Birkedal; Kasper Svendsen; Alexandre Buisse
Pp. No disponible
Static extraction of sound hierarchical runtime object graphs
Marwan Abi-Antoun; Jonathan Aldrich
Pp. No disponible