Program Synthesis References Needed

larner@rpal.rockwell.com (Dan Larner)
Wed, 1 Jun 1994 20:04:58 GMT

          From comp.compilers
Related articles
Program Synthesis References Needed larner@rpal.rockwell.com (1994-06-01)
Re: Program Synthesis References Needed hannes@cs.uwa.oz.au (1994-06-11)
| List of all articles for this month |
Newsgroups: comp.lang.misc,comp.ai,comp.programming,comp.compilers
From: larner@rpal.rockwell.com (Dan Larner)
Keywords: question, theory
Organization: Rockwell Palo Alto Science Center
Date: Wed, 1 Jun 1994 20:04:58 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?


Any pointers appreciated!-)


--- Dan


Dan Larner larner@rpal.rockwell.com +
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.