Eli,
Same as Ben - Generative 
Programming, 
Methods, 
Tools, 
and 
Applications 
(2000) 
- 
Krzysztof 
Czarnecki, 
Ulrich 
W. 
Eisenecker

-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/?&;







      
____________________________________________________________________________________
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=94129041-91b47a

Reply via email to