Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Workshop CFP: Optimization and Implementation
of Declarative Programs
Optimization and Implementation
of Declarative Programming Languages
WOID'99
Las Cruces, New Mexico, Nov. 29 - Dec. 4, 1999
Overview:
This workshop was run in conjunction with
the
1999 International
Conference on Logic Programming on November 29 - December 4, 1999.
The aim of this workshop is to provide a forum where
new trends, ideas and developments
concerning the optimization and implementation
of declarative languages can be discussed.
It is especially geared towards bringing researchers from low-level
compilation and high-level
optimization together, and papers or talks which bridge this gap are
especially welcome.
This workshop was tightly linked with the workshop entitled
Parallelism and
Implemenetation Techniques for Logic Programming
Languages.
Motivations:
Compilers and linkers are getting more and more sophisticated and employ
more and more high-level optimizations, such as partial evaluation or
deforestation.
Researchers in high-level optimization and transformation, on the other hand,
realise that low-level issues have to be taken into
account in order to apply their techniques in practice.
So, in this workshop we wanted to
provide the possibility for these two areas to meet and
accelerate their synergy.
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