MULLEN@SUMEX-AIM.ARPA (02/21/84)
From: Juanita Mullen <MULLEN@SUMEX-AIM.ARPA> [Forwarded from the Stanford SIGLUNCH distribution by Laws@SRI-AI.] Thursday, February 23, 1984 Professor Kenneth Kahn Upssala University will give a talk: "Logic Programming and Partial Evaluation as Steps Toward Efficient Generic Programming" at: Bldg. 200, (History Building), Room 107, 12 NOON PROLOG and extensions to it embedded in LM PROLOG will be presented as a means of describing programs that can be used in many ways. Partial evaluation is a process that automatically produces efficient, specialized versions of programs. Two partial evaluators, one for LISP and one for PROLOG, will be presented as a means for winning back efficiency that was sacrificed for generality. Partial evaluation will also be presented as a means of generating compilers.