A Unifying View of Functional and Logic Program Optimization
María Alpuente
- PhD. course, U. di Pisa, July 1998 -
Course Contents:
Introduction
Operational semantics of integrated languages:
Basic mechanisms
Evaluation Strategies
A Unified Computation Model for Declarative Programming:
A proposal for a standard in functional logic programming
A Unifying View of Functional and Logic Program Optimization:
Analysis of functional logic programs
Transformation of functional logic programs
ELP
VRAIN
DSIC
UPV
