Stephen Reed wrote:
Eli,
Same as Ben - Generative Programming, Methods, Tools, and Applications
(2000) -
Krzysztof Czarnecki, Ulrich W. Eisenecker
I would chime in and say that this one also struck me as a very
stimulating book, but its main benefit to me was to get me thinking
about where the points of "rigidity" where, in their formalism. The
places where the whole thing would break down unless someone did some
"hand-crafting" or "pre-digesting" of ideas. My main concern was to get
the same thing to happen without any such cheating, and I found the
clarity of their writing helped me to see how to do that (or at least,
how to do it better).
Overall, I think that the "automatic programming" problem is pretty much
isomorphic to the general intelligence problem: an AP system is going
to demand such flexibility and (and as you put it, Steve) such depth of
knowledge, that the system will have to pretty much the whole of
intelligence before it can be trusted to do full automatic programming.
But then, I'm hard to please: my criterion for success in AP is that it
has to be good enough to discover new design patterns....
Richard Loosemore
-Steve
Stephen L. Reed
Artificial Intelligence Researcher
http://texai.org/blog
http://texai.org
3008 Oak Crest Ave.
Austin, Texas, USA 78704
512.791.7860
----- Original Message ----
From: Eliezer S. Yudkowsky <[EMAIL PROTECTED]>
To: [email protected]
Sent: Wednesday, February 6, 2008 12:25:22 AM
Subject: Re: [agi] Reading on automatic programming?
Stephen Reed wrote:
> Hi Evgenii,
>
> >From my bookshelf:
> 1. Code Generation in Action (2003) - Jack Herrington
> 2. Computer Program Construction (1994) - Ali Mili, Jules Desharnais,
> Fatma Mili
> 3. Knowledge Based Program Construction (1979) - David R. Barstow
> 4. Studies in Automatic Programming Logic (1977) - Zohar Manna, Richard
> Waldinger
> 5. A Theory and Practice of Program Development (1997) - Derek Andrews
> 6. Program Construction, Calculating Implementations from
> Specifications (2003) - Roland Backhouse
> 7. Refinement Calculus, A Systematic Introduction (1998) - Ralph-Johan
> Back, Joakim von Wright
> 8. Generative Programming, Methods, Tools, and Applications (2000) -
> Krzysztof Czarnecki, Ulrich W. Eisenecker
> 9. Annual Review in Automatic Programming (...1973...) - Pergamon Press
Which one's your favorite?
--
Eliezer S. Yudkowsky http://singinst.org/
Research Fellow, Singularity Institute for Artificial Intelligence
-----
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?&; <http://v2.listbox.com/member/?&;>
------------------------------------------------------------------------
Looking for last minute shopping deals? Find them fast with Yahoo!
Search.
<http://us.rd.yahoo.com/evt=51734/*http://tools.search.yahoo.com/newsearch/category.php?category=shopping>
------------------------------------------------------------------------
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?&;
<http://v2.listbox.com/member/?&;>
-----
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?member_id=8660244&id_secret=94172598-f32eac
