Escaping from intermediate expression swell: a continuing saga

  • J. A. Padget
7. Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 144)


The notion of a closed continuation is introduced, and a functional dialect of LISP is presented, using function call and return based on this concept, by extension coroutines are shown to be merely a more general form of function. Potential applications for coroutines in algebraic simplification and expression evaluation are suggested, and a specific example of their use is given in a novel attack on the phenomenon of intermediate expression swell in polynomial multiplication.


Polynomial Multiplication Denotational Semantic Bell System Technical Journal Expression Continuation Algebraic Simplification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Evans A. PAL — A language for teaching programming linguistics. Proc ACM 23rd National Conference.Google Scholar
  2. Gordon M. The denotational semantics of programming languages. Springer-Verlag 1979.Google Scholar
  3. Hearn A.C. REDUCE 2 Users Manual University of Utah Computational Physics Group UCP-19 (1973).Google Scholar
  4. Hewitt C. Protection and Synchronisation in Actor Systems MIT AI Lab Working Paper 83, Nov 1974.Google Scholar
  5. Johnson S.C. Sparse Polynomial Arithmetic. SIGSAM Conf. on Algebraic Manipulation, 1974.Google Scholar
  6. Lindstrom G & Soffa M. Referencing and retention in block-structured coroutines. TOPLAS Jul 1981 263–292.Google Scholar
  7. Marti J, Hearn A, Griss M, Griss C. The Standard LISP Report. SIGPLAN Notices 1979 14, 10 48–68Google Scholar
  8. Moody K & Richards M. A coroutine mechanism for BCPL. Software Practice and Experience, 1980 765–771.Google Scholar
  9. Muchnik S & Pleban U. A semantic comparison of LISP and SCHEME. Proceedings of the LISP conf., Stanford 1980, 56–63.Google Scholar
  10. Scott D & Strachey C. Toward a mathematical semantics for computer languages. Oxford Programming Research Group, PRG-6 1971.Google Scholar
  11. Strachey C & Wadsworth C. Continuations, a mathematical semantics for handling full jumps. Oxford Programming Research Group, PRG-11 1974.Google Scholar
  12. Tennent R. The denotational semantics of programming languages. CACM Aug 1976 437–453Google Scholar
  13. Thompson K. et al The UNIX Time-Sharing System Bell System Technical Journal, Jul-Aug 1978, Vol 57, No.6 part 2Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • J. A. Padget
    • 1
  1. 1.School of MathematicsUniversity of BathAvonEngland

Personalised recommendations