Reference for term "Lazy Evaluation"

Thread View: comp.lang.functional

3 messages

[T] Back to Threads [V] Tree View [G] Group Articles

3 total messages Started by Rajeev Pandey Thu, 25 Oct 1990 22:55

#483

Author: Rajeev Pandey
Date: Thu, 25 Oct 1990 22:55

37 lines
1832 bytes

 I am looking for the definitive citation on the term _lazy evaluation_.

 I've found several possibilities:

   Henderson and Morris "A Lazy Evaluator," from 3rd POPL Conference (1976)
     (actually uses the term 'lazy')

   Vuillemin "Correct & Optimal Implementation of Recursion in a Simple 
              Programming Language" J. Comp. & Sys. Sci. 9 (1974)
     (uses the term 'delayed evaluation')
 
   Burge "Recursive Programming Techniques" (Addison-Wesley, 1975).
     (uses the term 'delayed evaluation')

   Friedman and Wise "CONS should not evaluate its arguments" Automata, 
      Languages and Programming, 3rd Intl. Colloq. (1976)
     (uses the term 'delayed evaluation')

 etc.

  I found references to all of these articles in various places where the
 term lazy evaluation is introduced. Is there a definitive citation? Should 
 I just pick one of these? Should I go back to Landin and streams?

 Any input would be appreciated.

 Rajeev Pandey
 rpandey@cs.orst.edu


--------                            
Department of Computer Science    |   Rajeev "Raju" Pandey     
Computer Science Building 100     |   
Oregon State University           |  Internet: rpandey@cs.orst.edu
Corvallis, OR  97331-3902  U.S.A. |  UUCP:     tektronix!orstcs!rpandey
(503) 737-3273 fax: (503) 737-3014|  UUCP:     hplabs!hp-pcd!orstcs!rpandey

Re: Reference for term "Lazy Evaluation"

#484

Author: Noritake Yonezawa
Date: Fri, 26 Oct 1990 03:11

18 lines
1139 bytes

In article <21300@orstcs.CS.ORST.EDU> rpandey@umbra.CS.ORST.EDU (Rajeev Pandey) writes:

>  I am looking for the definitive citation on the term _lazy evaluation_.

You may find it in this new book:

	PETER M. KOGGE
        THE ARCHITECTURE OF SYMBOLIC COMPUTERS
	McGraw-Hill, 1991(?!)
        ISBN 0-07-035596-7

This includes the definitive bibliography about both function-based
computing and logic-based computing. It's helpful for _lazy_ persons :-)

--
Noritake Yonezawa [yonezawa@cs.uiuc.edu]
Department of Computer Science
University of Illinois at Urbana-Champaign

Re: Reference for term "Lazy Evaluation"

#485

Author: Rachel Harrison Josey
Date: Fri, 26 Oct 1990 14:39

27 lines
1404 bytes

In article <21300@orstcs.CS.ORST.EDU> rpandey@umbra.CS.ORST.EDU (Rajeev Pandey) writes:
>
> I am looking for the definitive citation on the term _lazy evaluation_.
>
>   Henderson and Morris "A Lazy Evaluator," from 3rd POPL Conference (1976)
>     (actually uses the term 'lazy')
>
.........

>   Friedman and Wise "CONS should not evaluate its arguments" Automata, 
>      Languages and Programming, 3rd Intl. Colloq. (1976)
>     (uses the term 'delayed evaluation')
>
> Rajeev Pandey
> rpandey@cs.orst.edu

I think that Henderson and Morris were the first to use the term 
"lazy evaluation". However, Friedman and Wise, working independently
of Henderson and Morris, published work on lazy evaluation in the same
year (as can be seen from the above references).

 Rachel Harrison Josey                  email:  rhj@ecs.soton.ac.uk 

 Department of Electronics and Computer Science          
 University of Southampton  
 Southampton SO9 5NH England 
 Tel: +44 703 593055  Fax: +44 703 593045

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads