Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!watmath!clyde!floyd!harpo!seismo!hao!hplabs!sri-unix!MULLEN@SUMEX-AIM.ARPA From: MULLEN@SUMEX-AIM.ARPA Newsgroups: net.ai Subject: ANNOUNCEMENT Message-ID: <16840@sri-arpa.UUCP> Date: Tue, 21-Feb-84 13:47:50 EST Article-I.D.: sri-arpa.16840 Posted: Tue Feb 21 13:47:50 1984 Date-Received: Fri, 24-Feb-84 02:04:36 EST Lines: 24 From: Juanita Mullen[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.