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/?member_id=8660244&id_secret=94114243-0fcb02
