A constraint-based partial evaluator for functional logic programs and its application.

  • Laura Lafave

Student thesis: Doctoral ThesisDoctor of Philosophy (PhD)

Abstract

Date of Award1998
Original languageEnglish

Keywords

  • Logic programming
  • Constraint solving

Cite this

A constraint-based partial evaluator for functional logic programs and its application.
Lafave, L. (Author). 1998

Student thesis: Doctoral ThesisDoctor of Philosophy (PhD)