15-851
Computation & Deduction
Spring 1997
Frank Pfenning
Lecture 13: Constraints in Elf
We discuss additional details and alternatives in the formulation of
contextual evaluation. This will lead us to examine the operational
semantics of Elf in more detail and, in particular, which kinds of
equations are solved effectively and which are carried along as
constraints during evaluation.
©
Frank Pfenning 1992-1997
fp@cs