Futamura @ Harvard Th 10/13

• To: attend-types@theory.LCS.MIT.EDU, attend-logic@theory.LCS.MIT.EDU
• Subject: Futamura @ Harvard Th 10/13
• From: wand%corwin.ccs.northeastern.edu@relay.cs.net
• Date: Wed, 12 Oct 88 10:53:29 EDT
• Reply-To: wand%corwin.ccs.northeastern.edu@relay.cs.net
• Sender: bemus@theory.LCS.MIT.EDU

HARVARD UNIVERSITY
Center for Research in Computing Technology
Colloquium Series Presents

Program Evaluation and Generalized Partial Computation

Dr. Yoshihiko Futamura
Advanced Research Laboratory
Hitachi, Ltd.
and
Center for Research in Computing Technology
Harvard University


Thursday, October 13, 1988
4  PM
(Tea at 3:30 pm Aiken Basement Lobby)

Abstract

Generalized Partial Computation (GPC) is a program optimization
principle based on partial computation and theorem proving.  Conventional
partial computation methods (or partial evaluators) explicitly make
use of only given parameter values to partially evaluate programs.
However, GPC explicitly utilizes not only given values but also
the following information:

	1.  Logical structure of a program to be partially evaluated.

	2.  Abstract data type of a programming language

GPC is new (proposed in 1987) and even conventionl partial
computation is not well understood by the computer science society.
This talk will discuss (1) interesting  properties of partial
computation, (2) differences between program evaluators, partial
evaluation and generalized partial evaluators and (3) principles
and applications of GPC.

Host: Prof. Thomas E. Cheatham, Jr.

• Prev: teaching Hoare logic
• Next: typed versus untyped/didactic versus logical
• Index(es):
  • Main
  • Thread