Volume 30,
Number 1,
March 1998
Volume 30,
Number 2,
June 1998
Volume 30,
Number 3,
September 1998
Volume 30,
Number 3es,
September 1998
Electronic Symposium on Partial Evaluation
Principles,
Foundations and Frameworks
- David A. Basin:
Logical-Framework-Based Program Development.
1
Electronic Edition (ACM DL) BibTeX
- John Field, Jan Heering, T. B. Dinesh:
Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation.
2
Electronic Edition (ACM DL) BibTeX
- Andrei V. Klimov:
Program Specialization vs. Program Composition.
3
Electronic Edition (ACM DL) BibTeX
- Michael Leuschel, Bern Martens, Danny De Schreye:
Some Achievements and Prospects in Partial Deduction.
4
Electronic Edition (ACM DL) BibTeX
- Torben Æ. Mogensen:
Inherited Limits.
5
Electronic Edition (ACM DL) BibTeX
- Alberto Pettorossi, Maurizio Proietti:
Program Specialization via Algorithmic Unfold/Fold Transformations.
6
Electronic Edition (ACM DL) BibTeX
- Akihiko Takano, Zhenjiang Hu, Masato Takeichi:
Program Transformation in Calculational Form.
7
Electronic Edition (ACM DL) BibTeX
- Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies:
Modal Types as Staging Specifications for Run-Time Code Generation.
8
Electronic Edition (ACM DL) BibTeX
Towards Stronger Transformation Techniques
Software Development and Computational Practice
- Sandrine Blazy, Philippe Facon:
Partial Evaluation for Program Comprehension.
17
Electronic Edition (ACM DL) BibTeX
- Tristan Cazenave:
Synthesis of an Efficient Tactical Theorem Prover for the Game of Go.
18
Electronic Edition (ACM DL) BibTeX
- Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi:
Tempo: Specializing Systems applications and Beyond.
19
Electronic Edition (ACM DL) BibTeX
- Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi:
Partial Evaluation for Software Engineering.
20
Electronic Edition (ACM DL) BibTeX
- Scott Draves:
Partial Evaluation for Media Processing.
21
Electronic Edition (ACM DL) BibTeX
- Matthew B. Dwyer, John Hatcliff, Muhammad Nanda:
Using Partial Evaluation to Enable Verification of Concurrent Software.
22
Electronic Edition (ACM DL) BibTeX
- Mark Leone, Peter Lee:
Dynamic Specialization in the Fabius System.
23
Electronic Edition (ACM DL) BibTeX
- Oscar Waddell, R. Kent Dybvig:
Visualizing Partial Evaluation.
24
Electronic Edition (ACM DL) BibTeX
Volume 30,
Number 4,
December 1998
Copyright © Sat May 16 23:54:53 2009
by Michael Ley (ley@uni-trier.de)
