The anatomy of a loop: A story of scope and control

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2005, Pages 2-14

  Shivers, Olin ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Compilers; Continuations; Control structures; Functional programming; Iteration; Lambda calculus; Macros; Programming languages; Scheme

Indexed keywords

CONTINUATIONS; CONTROL STRUCTURE; ITERATION; LAMBDA-CALCULUS; SCHEME;

COMPUTER PROGRAMMING LANGUAGES; DIFFERENTIATION (CALCULUS); LISP (PROGRAMMING LANGUAGE); MACROS; PROGRAM COMPILERS; RECURSIVE FUNCTIONS;

FUNCTIONAL PROGRAMMING;

EID: 78249256794     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086365.1086368     Document Type: Conference Paper

References (24)

1. Jonathan Amsterdam. The Iterate manual. AI Memo 1236, MIT AI Lab, October 1990.
2. Jonathan Amsterdam. Don't Loop, Iterate. Working Paper 324, MIT AI Lab.
3. William Clinger and Jonathan Rees. Macros that work. In Proceedings of the ACM Conference on Principles of Programming Languages, pp. 155-162, 1991.
4. Ryan Culpepper, Scott Owens and Matthew Flatt. Syntactic abstraction in component interfaces. In Proceedings of the Fourth International Conference on Generative Programming and Component Engineering (GPCE'05), September 2005, Tallinn, Estonia.
5. Edsger W. Dijkstra. GOTO statement considered harmful. Letter to the Editor. Comm. ACM 11(3), March 1968.
6. Sebastian Egner. Eager comprehensions in Scheme: The design of SRFI-42. In Proceedings of the ACM SIGPLAN 2005 Workshop on Scheme and Functional Programming (Scheme 2005), September 2005, Tallinn, Estonia. See also http://srfi.schemers.org/ srfi-42/.
7. Leonard Gilman and Allen J. Rose. Apl: An Interactive Approach. John Wiley & Sons Inc., Third edition, January 1984.
8. Erik Hilsdale and Daniel P. Friedman. Writing macros in continuation-passing style. In Proceedings of the Workshop on Scheme and Functional Programming (Scheme 2000), pages 53- 61, Montreal, Canada September 2000. Rice Technical Report 00- 368. September 2000.
9. Richard A. Kelsey. A correspondence between continuationpassing style and static single assignment form. In Proceedings of the ACM SIGPLAN Workshop on Intermediate Representations, SIGPLAN Notices 30(3), pages 13-22, 1995.
10. 5 report on the algorithmic language Scheme. SIGPLAN Notices, 1998.
11. Alan J. Perlis. Epigrams on programming. Sigplan 17 #9, September 1980.
12. Kent M. Pitman. Common Lisp Issue LOOP-INITFORMENVIRONMENT: PARTIAL-INTERLEAVING-VAGUE. March 1991. http://www.lisp.org/HyperSpec/Issues/ iss222-writeup.html
13. A universal scripting framework. Olin Shivers. In Concurrency and Parallelism, Programming, Networking, and Security, Lecture Notes in Computer Science #1179, pages 254-265, Editors Joxan Jaffar and Roland H. C. Yap, 1996, Springer.
14. Guy L. Steele Jr. and Gerald Jay Sussman. LAMBDA: The ultimate imperative. AI Memo 353, MIT AI Lab, March 1976.
15. Guy L. Steele Jr. LAMBDA: The ultimate declarative. AI Memo 379, MIT AI Lab, November 1976.
16. Guy L. Steele Jr. Debunking the "expensive procedure call" myth. AI Memo 443, MIT AI Lab, October 1977.
17. Guy L. Steele Jr. RABBIT: A Compiler for SCHEME. Masters Thesis, MIT AI Lab, May 1978. Technical Report 474.
18. Guy L. Steele Jr. Common Lisp: The Language. Digital Press, Maynard, Mass., second edition 1990.
19. Philip Wadler. List comprehensions (Chapter 7). In The Implementation of Functional Programming Languages, Editor Simon L. Peyton Jones, Prentice Hall, 1987.
20. Richard C.Waters. LetS: An expressional loop notation. AI Memo 680A, MIT AI Lab, February 1983.
21. Richard C. Waters. Obviously synchronizable series expressions: Part I: User's manual for the OSS macro package. AI Memo 958A, MIT AI Lab, March 1988.
22. Richard C. Waters. Obviously synchronizable series expressions: Part II: Overview of the theory and implementation. AI Memo 959A, MIT AI Lab, March 1988.
23. Richard C.Waters. Automatic transformation of series expressions into loops. ACM Transactions on Programming Languages and Systems, 13(1):52-98, January 1991.
24. See also AI Memos 1082 and 1083, MIT AI Lab, 1989.