Catálogo de publicaciones - revistas

Compartir en
redes sociales

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

Cobertura temática

matematica

Matemáticas

computacion

Ciencias de la computación e información

Tabla de contenidos

doi: 10.1145/242224.242431

Program adaptation based on program transformation

Charles Consel

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 164

doi: 10.1145/242224.242433

Program analysis

Patrick Cousot

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 165

doi: 10.1145/242224.242434

Integration of declarative paradigms

Michael Hanus

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 166

doi: 10.1145/242224.242435

Program analysis for software engineering

Daniel Le Métayer

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 167

doi: 10.1145/242224.242441

Perspectives on program analysis

Flemming Nielson

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 168

doi: 10.1145/242224.242442

Challenges in type systems research

Martin Odersky

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 169

doi: 10.1145/242224.242444

Future directions in program transformations

Robert Paige

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 170

doi: 10.1145/242224.242445

Future directions in program transformation

Alberto Pettorossi; Maurizio Proietti

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 171

doi: 10.1145/242224.242447

Beyond ML

John Reynolds

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 172

doi: 10.1145/242224.242448

Semantics

Jon G. Riecke

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 173