[net.ai] For AI digest: request for program synthesis bibliography

CASHMAN%DEC-MARLBORO@sri-unix.UUCP (03/07/84)

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]