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