A Unifying View of Functional and Logic Program Optimization

María Alpuente - PhD. course, U. di Pisa, July 1998 -

Course Contents:

  1. Introduction
  2. Operational semantics of integrated languages:
  3. A Unified Computation Model for Declarative Programming:
  4. A Unifying View of Functional and Logic Program Optimization:










Description



ELP GPLIS DSIC UPV