incomplete
Volume 6,
Number 1,
1988
Volume 6,
Numbers 2&3,
1988
Selected Papers from the Workshop on Partial Evaluation and Mixed Computation,
1987
- Dines Bjørner:
Preface for the Special Issue (on Partial Evaluation and Mixed Computation).
77-78 BibTeX
- Andrei P. Ershov:
Opening Key-Note Speech.
79-86 BibTeX
- Neil D. Jones:
Scientific Foreword.
87-90 BibTeX
- Hiroshi Fujita, Koichi Furukawa:
A Self-Applicable Partial Evaluator and Its Use in Incremental Compilation.
91-118 BibTeX
- David A. Fuller, Samson Abramsky:
Mixed Computation of Prolog Programs.
119-141 BibTeX
- Koichi Furukawa, Akira Okumura, Masaki Murakami:
Unfolding Rules for GHC Programs.
143-157 BibTeX
- John P. Gallagher, Michael Codish, Ehud Y. Shapiro:
Specialisation of Prolog and FCP Programs Using Abstract Interpretation.
159-186 BibTeX
- Laurent Hascoët:
Partial Evaluation with Inference Rules.
187-209 BibTeX
- Arun Lakhotia, Leon Sterling:
Composing Recursive Logic Programs with Clausal Join.
211-225 BibTeX
- Giorgio Levi, Giuseppe Sardu:
Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language.
227-247 BibTeX
- Chiaki Sakama, Hidenori Itoh:
Partial Evaluation of Queries in Deductive Databases.
249-258 BibTeX
- Akikazu Takeuchi, Hiroshi Fujita:
Competitive Partial Evaluation - Some Remaining Problems of Partial Evaluation.
259-277 BibTeX
- Raf Venken, Bart Demoen:
A Partial Evaluation System for Prolog: some Practical Considerations.
279-290 BibTeX
- Neil D. Jones:
Challenging Problems in Partial Evaluation and Mixed Computation.
291-302 BibTeX
- Torben Æ. Mogensen, Carsten Kehler Holst:
Terminology.
303-307 BibTeX
- Peter Sestoft, Alexandre V. Zamulin:
Annotated Bibliography on Partial Evaluation and Mixed Computation.
309-354 BibTeX
Volume 6,
Number 4,
1989
Copyright © Sun May 17 00:15:27 2009
by Michael Ley (ley@uni-trier.de)
