|Program Synthesis References Needed firstname.lastname@example.org (1994-06-01)|
|Re: Program Synthesis References Needed email@example.com (1994-06-11)|
|From:||firstname.lastname@example.org (J HERRMANN)|
|Organization:||Dept. Computer Science, University of Western Australia.|
|Date:||Sat, 11 Jun 1994 00:03:43 GMT|
>I'm looking for books or references on Program Synthesis.
>Is there a small set of books or papers that form a
>"must read" collection?
I'm not sure whether this classifies as a "must read", but I have found the
book "Computer Program Synthesis Methodologies" very helpful. It is a
compilation of papers in the field of Porgram Synthesis, and form a good
overview of the topic.
Edited by: Alan W. Bierman and Gerard Guiho
Publisher: D. Reidel Publishing Company
Hope this helps.
* Johannes Herrmann ( email@example.com ) *
* PhD Student at the University of Western Australia *
Return to the
Search the comp.compilers archives again.