[mod.ai] Seminar - The Synthesis of Dirty Lisp Programs

VAL@SAIL.STANFORD.EDU.UUCP (02/03/87)

     Commonsense and Nonmonotonic Reasoning Seminar


	THE SYNTHESIS OF DIRTY LISP PROGRAMS

		Richard Waldinger
	  Artificial Intelligence Center
		SRI International

	    Thursday, February 5, 4pm
	      Bldg. 160, Room 161K

Most work in program synthesis has focused on the
derivation of applicative programs, which return an
output but produce no side effects.  In this talk we
turn to the synthesis of imperative programs, which
may alter data structures and produce other side effects
as part of their intended behavior.  We concentrate on
"dirty LISP," an imperative LISP with assignment and
destructive list operations (rplaca and rplacd).

We treat dirty LISP with the same deductive approach
we use for the relatively clean applicative programs.
For this purpose, we introduce a new situational
logic, called "dirty-LISP theory."  The talk will
emphasize how to represent instructions and specifications
in this theory.