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
I've left off books on Aspect-Oriented Programming which I think bears on this issue. Ever since I began programming I have been thinking about what it would take for computers to program themselves. My current belief is that deep background knowledge in the application domain must be combined with deep knowledge of algorithms to compose computer programs using a deductive planner. -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: Evgenii Philippov <[EMAIL PROTECTED]> To: [email protected] Sent: Tuesday, February 5, 2008 11:07:54 PM Subject: [agi] Reading on automatic programming? Could anyone send some initial references/links to read on subject? -- Best regards, Evgenii Philippov 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/?&; ____________________________________________________________________________________ Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ ----- 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=94101431-e375ac
