Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!floyd!harpo!seismo!hao!hplabs!sri-unix!CASHMAN@DEC-MARLBORO
From: CASHMAN%DEC-MARLBORO@sri-unix.UUCP
Newsgroups: net.ai
Subject: For AI digest: request for program synthesis bibliography
Message-ID: <17297@sri-arpa.UUCP>
Date: Tue, 6-Mar-84 16:12:00 EST
Article-I.D.: sri-arpa.17297
Posted: Tue Mar  6 16:12:00 1984
Date-Received: Sat, 10-Mar-84 08:16:10 EST
Lines: 9

Does anyone have (a pointer to) a bibliography (preferably annotated) of
papers on program synthesis?  Is there a good survey paper or article on
the field (other than what's in the Handbook of AI)?

  -- Paul Cashman (Cashman@DEC-Marlboro)

[Richard Waldinger (@SRI-AI) suggests a survey and bibliography on
program synthesis in "Synthesis: Dreams -> Programs" which appeared in
the IEEE Transactions on Software Engineering about 1975.  -- KIL]