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

  • Laura Lafave

Student thesis: Doctoral ThesisDoctor of Philosophy (PhD)

Date of Award1998
Original languageEnglish

Keywords

  • Logic programming
  • Constraint solving

Cite this

'