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.289134

Foundations for partial evaluation of functional programs with computational effects

John Hatcliff

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 13

doi: 10.1145/289121.289135

Type specialization

John Hughes

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 14

doi: 10.1145/289121.289136

Extending the power of automatic constraint-based partial evaluators

L. Lafave; J. P. Gallagher

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 15

doi: 10.1145/289121.289137

Extending partial deduction to tabled execution

Konstantinos Sagonas; Michael Leuschel

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 16

doi: 10.1145/289121.289138

Partial evaluation for program comprehension

Sandrine Blazy; Philippe Facon

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 17

doi: 10.1145/289121.289139

Synthesis of an efficient tactical theorem prover for the game of go

Tristan Cazenave

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 18

doi: 10.1145/289121.289140

Tempo

C. Consel; L. Hornof; R. Marlet; G. Muller; S. Thibault; E.-N. Volanschi; J. Lawall; J. Noyé

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 19

doi: 10.1145/289121.289141

Partial evaluation for software engineering

C. Consel; L. Hornof; R. Marlet; G. Muller; S. Thibault; E.-N. Volanschi; J. Lawall; J. Noyé

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 20

doi: 10.1145/289121.289142

Partial evaluation for media processing

Scott Draves

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 21

doi: 10.1145/289121.289143

Using partial evaluation to enable verification of concurrent software

Matthew Dwyer; John Hatcliff; Muhammad Nanda

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 22