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]