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/289121.289124

Program specialization vs. program composition

Andrei Klimov

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 3

doi: 10.1145/289121.289125

Some achievements and prospects in partial deduction

Michael Leuschel; B. Martens; D. de Schreye

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 4

doi: 10.1145/289121.289126

Inherited limits

Torben Mogensen

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 5

doi: 10.1145/289121.289127

Program specialization via algorithmic unfold/fold transformations

Alberto Pettorossi; Maurizio Proietti

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 6

doi: 10.1145/289121.289128

Program transformation in calculational form

Akihiko Takano; Zhenjiang Hu; Masato Takeichi

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 7

doi: 10.1145/289121.289129

Modal types as staging specifications for run-time code generation

Philip Wickline; Peter Lee; Frank Pfenning; Rowan Davies

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 8

doi: 10.1145/289121.289130

A unifying view of functional and logic program specialization

Maria Alpuente; Moreno Falaschi; German Vidal

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 9

doi: 10.1145/289121.289131

Optimizing modular logic languages

Michele Bugliesi; Anna Ciampolini; Evelina Lamma; Paola Mello

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 10

doi: 10.1145/289121.289132

Partial evaluation of concurrent constraint languages

Sandro Etalle; Maurizio Gabbrieli

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 11

doi: 10.1145/289121.289133

The role of trace abstractions in program specialization algorithms

J. P. Gallagher; L. Lafave

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 12