Catálogo de publicaciones - actas de congreso
Proceedings of the 36th 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 | 2009 | ACM Digital Library |
Información
Tipo de recurso:
actas de congreso
ISBN impreso
978-1-60558-379-2
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.
SPEED
Sumit Gulwani; Krishna K. Mehra; Trishul Chilimbi
Pp. No disponible
The third homomorphism theorem on trees
Akimasa Morihata; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi
Pp. No disponible
Verifying liveness for asynchronous programs
Pierre Ganty; Rupak Majumdar; Andrey Rybalchenko
Pp. No disponible
Language constructs for transactional memory
Tim Harris
Pp. No disponible