Computing Surveys (CSUR)


Search Issue
enter search term and/or author name below:


ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue, Volume 30 Issue 3es, Sept. 1998

Logical framework based program development
David Basin
Article No.: 1
DOI: 10.1145/289121.289122

Equations as a uniform framework for partial evaluation and abstract interpretation
J. Field, J. Heering, T. B. Dinesh
Article No.: 2
DOI: 10.1145/289121.289123

Program specialization vs. program composition
Andrei Klimov
Article No.: 3
DOI: 10.1145/289121.289124

Some achievements and prospects in partial deduction
Michael Leuschel, B. Martens, D. de Schreye
Article No.: 4
DOI: 10.1145/289121.289125

Inherited limits
Torben Mogensen
Article No.: 5
DOI: 10.1145/289121.289126

Program specialization via algorithmic unfold/fold transformations
Alberto Pettorossi, Maurizio Proietti
Article No.: 6
DOI: 10.1145/289121.289127

Program transformation in calculational form
Akihiko Takano, Zhenjiang Hu, Masato Takeichi
Article No.: 7
DOI: 10.1145/289121.289128

Modal types as staging specifications for run-time code generation
Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies
Article No.: 8
DOI: 10.1145/289121.289129

A unifying view of functional and logic program specialization
Maria Alpuente, Moreno Falaschi, German Vidal
Article No.: 9
DOI: 10.1145/289121.289130

Optimizing modular logic languages
Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello
Article No.: 10
DOI: 10.1145/289121.289131

Partial evaluation of concurrent constraint languages
Sandro Etalle, Maurizio Gabbrieli
Article No.: 11
DOI: 10.1145/289121.289132

The role of trace abstractions in program specialization algorithms
J. P. Gallagher, L. Lafave
Article No.: 12
DOI: 10.1145/289121.289133

Foundations for partial evaluation of functional programs with computational effects
John Hatcliff
Article No.: 13
DOI: 10.1145/289121.289134

Type specialization
John Hughes
Article No.: 14
DOI: 10.1145/289121.289135

Extending the power of automatic constraint-based partial evaluators
L. Lafave, J. P. Gallagher
Article No.: 15
DOI: 10.1145/289121.289136

Extending partial deduction to tabled execution: some results and open issues
Konstantinos Sagonas, Michael Leuschel
Article No.: 16
DOI: 10.1145/289121.289137

Partial evaluation for program comprehension
Sandrine Blazy, Philippe Facon
Article No.: 17
DOI: 10.1145/289121.289138

Synthesis of an efficient tactical theorem prover for the game of go
Tristan Cazenave
Article No.: 18
DOI: 10.1145/289121.289139

Tempo: specializing systems applications and beyond
C. Consel, L. Hornof, R. Marlet, G. Muller, S. Thibault, E.-N. Volanschi, J. Lawall, J. Noyé
Article No.: 19
DOI: 10.1145/289121.289140

Partial evaluation for software engineering
C. Consel, L. Hornof, R. Marlet, G. Muller, S. Thibault, E.-N. Volanschi, J. Lawall, J. Noyé
Article No.: 20
DOI: 10.1145/289121.289141

Partial evaluation for media processing
Scott Draves
Article No.: 21
DOI: 10.1145/289121.289142

Using partial evaluation to enable verification of concurrent software
Matthew Dwyer, John Hatcliff, Muhammad Nanda
Article No.: 22
DOI: 10.1145/289121.289143

Dynamic specialization in the Fabius system
Mark Leone, Peter Lee
Article No.: 23
DOI: 10.1145/289121.289144

Visualizing partial evaluation
Oscar Waddell, R. Kent Dybvig
Article No.: 24
DOI: 10.1145/289121.289145