perm filename DED[3,2] blob sn#781794
filedate 1985-01-20 generic text, type T, neo UTF8
DED is an experimental interactive system for deductive program synthesis.
The user specifies the input assertion and the output goal and guides the system
to synthesize an applicative program that will satisfy this specification.
Zohar Manna and Richard Waldinger --
"The Deductive Approach to Program Synthesis", in ACM TOPLAS Jan 1980.
Run the program by typing R DED. The system will respond by printing:
Now you may want to use one of: START, DECLARE, HELP.
If you find yourself in MACLISP try <CTRL>G and then (DED),
hopefully your derivation is still around.
Documentation is in DED.DOC[DED,YM]
(questions and comments => YM)