Catálogo de publicaciones - actas de congreso

Compartir en
redes sociales


Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

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-977-7

Editor responsable

Association for Computing Machinery (ACM)

País de edición

Estados Unidos

Fecha de publicación

Tabla de contenidos

Automating branch-and-bound for dynamic programs

Jakob Puchinger; Peter J. Stuckey

Pp. No disponible

Static elaboration of recursion for concurrent software

Stephen A. Edwards; Jia Zeng

Pp. No disponible

Software synthesis with sketching

Rastislav Bodik

Pp. No disponible