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.