Technical Reports
DSSE-TR-99-7
Proceedings of the
Optimization and Implementation
of Declarative Programming Languages
WOID'99
Michael Leuschel (editor)
Preliminary Issue of Electronic Notes of Theoretical
Computer Science 30(2)
Accepted Papers:
Out of 11 submissions the following 8 papers were selected:
- 1. Linearity Analysis of Concurrent Logic Programs.
K. Ueda
- 2. On the need for a different backtracking rule when dealing with late
evaluation.
M. Gavanelli and M. Milano
- 3. Towards Modular Binding-Time Analysis for First-order Mercury.
W. Vanhoof and M. Bruynooghe
- 4. Efficient Specialisation in Prolog Using the Hand-Written Compiler
Generator Logen.
M. Leuschel and J. Jorgensen
- 5. A Hybrid Algorithm for Compiling Equality Constraints and its
Implementation.
N-F. Zhou and Sosuke Kaneko
- 6. Rules and Strategies for Contextual Specialization of Constraint
Logic Programs.
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
- 7. Some Issues in Analysis and Specialization of Modular Programs.
G. Puebla and M. Hermenegildo
- 8. CodeSpecialization based on Value Profiles.
R. Muth, S. Watterson, and S. Debray
The proceedings have now been published as a special issue of
the
Electronic Notes
in Theoretical Computer Science,
Volume 30, Issue 2.
They are thus no longer available from this website, but only
from the
corresponding ENTCS
site.
