Catálogo de publicaciones - revistas
ACM Computing Surveys (CSUR)
Resumen/Descripción – provisto por la editorial en inglés
A journal of the Association for Computing Machinery (ACM), which publishes surveys, tutorials, and special reports on all areas of computing research. Volumes are published yearly in four issues appearing in March, June, September, and December.Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Período | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | desde mar. 1969 / hasta dic. 2023 | ACM Digital Library |
Información
Tipo de recurso:
revistas
ISSN impreso
0360-0300
ISSN electrónico
1557-7341
Editor responsable
Association for Computing Machinery (ACM)
País de edición
Estados Unidos
Fecha de publicación
1969-
Cobertura temática
Tabla de contenidos
Lazy versus strict
Philip Wadler
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 318-320
On the relationship between formal semantics and static analysis
P. N. Benton
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 321-323
Abstract interpretation
Patrick Cousot
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 324-328
Resource-bounded partial evaluation
Olivier Danvy; Nevin Hentze; Karoline Malmkjær
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 329-332
A unifying view of abstract domain design
Gilberto Filé; Roberto Giacobazzi; Francesco Ranzato
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 333-336
Compiling functional languages with flow analysis
Suresh Jagannathan; Andrew Wright
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 337-339
Structural operational semantics as a basis for static program analysis
Daniel Le Métayer; David Schmidt
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 340-343
Annotated type and effect systems
Flemming Nielson
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 344-345
Modalities in analysis and verification
Mads Dam
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 346-348
Program verification through soft typing
Robert Cartwright; Matthias Felleisen
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 349-351