home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / scheme / 1987 < prev    next >
Encoding:
Text File  |  1992-07-30  |  5.7 KB  |  133 lines
  1. Newsgroups: comp.lang.scheme
  2. Path: sparky!uunet!darwin.sura.net!wupost!cs.utexas.edu!torn!newshub.ccs.yorku.ca!newshub.ccs.yorku.ca!oz
  3. From: oz@ursa.sis.yorku.ca (Ozan Yigit)
  4. Subject: Readings [Re: Compilar Book]
  5. In-Reply-To: rwk@silver.sbi.com's message of 29 Jul 92 17: 10:53 GMT
  6. Message-ID: <OZ.92Jul30104308@ursa.sis.yorku.ca>
  7. Sender: news@newshub.ccs.yorku.ca (USENET News System)
  8. Organization: York U. Student Information Systems Project
  9. References: <RWK.92Jul29131053@silver.sbi.com>
  10. Distribution: comp
  11. Date: Thu, 30 Jul 1992 15:43:08 GMT
  12. Lines: 119
  13.  
  14. Richard W. Kreutzer writes:
  15.  
  16.    Can anyone recommend a comprehensive text on compilation techniques
  17.    of Scheme?
  18.  
  19. There is no single book, that is really comprehensive, so you will
  20. have to combine reading various scheme sources (I recommend Gambit
  21. [Feeley] and S48 [Rees]), tech reports and various books. For your
  22. convenience, I include a brief biblio of those I found useful, but
  23. I have no idea if all of the reports mentioned are still available.
  24.  
  25. I assume traditional compiler books [aho/sethi/ullman etc.] may be
  26. of some use as well.
  27.  
  28. I hope various scheme compiler authors such as Dbyvig [Chez], Jinx
  29. [Liar], Feeley [Gambit], Rees [Orbit], Bartlett [s->c] and Clinger
  30. [MacScheme] etc. [to name a few] would care to comment.
  31.  
  32. Books:
  33.       
  34.       Daniel P. Friedman,  Mitchell Wand,  Christopher  T. Haynes.
  35.       Essentials of  Programming Languages, MIT  Press and McGraw-
  36.       Hill, 1992
  37.       
  38.       Samuel Kamin, in Programming Languages: An Interpreter-based
  39.       Approach, Addison-Wesley, Reading, Mass., 1990.
  40.  
  41.       Harold  Abelson,  Gerald  Jay  Sussman  and  Julie  Sussman,
  42.       Structure  and  Interpretation  of  Computer  Programs,  MIT
  43.       Press, Cambridge, Mass., 1985.
  44.       
  45. Articles and Tech Reports:
  46.       
  47.       Mitchell Wand  and  Daniel  P.  Friedman,  Compiling  Lambda
  48.       Expressions  Using Continuations and Factorizations, Journal
  49.       of Computer Languages 3(1978), 241-263.
  50.       
  51.       Guy Lewis Steele Jr., Rabbit: a Compiler for Scheme, MIT  AI
  52.       Memo  474, Massachusetts Institute of Technology, Cambridge,
  53.       Mass., May 1978.
  54.       
  55.       Guy Lewis Steele Jr., Compiler Optimization Based on Viewing
  56.       LAMBDA  as RENAME + GOTO, in AI: An MIT Perspective, Patrick
  57.       Henry Winston and Richard  Henry  Brown  (ed.),  MIT  Press,
  58.       Cambridge, Mass., 1980.
  59.       
  60.       Jonathan A. Rees and Norman I. Adams, T: A Dialect  of  Lisp
  61.       or, LAMBDA: The Ultimate Software Tool, Conference Record of
  62.       the 1982 ACM Symposium on Lisp and  Functional  Programming,
  63.       1982, 114-122.
  64.       
  65.       R.  Kent  Dybvig,  C-Scheme,  Computer  Science   Department
  66.       Technical  Report  #149  (MS  Thesis),  Indiana  University,
  67.       Bloomington, Indiana, 1983.
  68.       
  69.       William Clinger, The Scheme 311  compiler:  An  Exercise  in
  70.       Denotational  Semantics,  Conference  Record of the 1984 ACM
  71.       Symposium on Lisp and Functional Programming, 1984, 356-364.
  72.       
  73.       Guillermo J. Rozas, Liar, an Algol-like Compiler for Scheme,
  74.       S.  B.  Thesis,  Department  of  Electrical  Engineering and
  75.       Computer Science,  Massachusetts  Institute  of  Technology,
  76.       January 1984.
  77.       
  78.       David H. Bartley and John C. Jensen, The  Implementation  of
  79.       PC  Scheme,  Proceedings  of the 1986 ACM Conference on Lisp
  80.       and Functional Programming, 1986, 86-93.
  81.       
  82.       David Kranz, Richard Kelsey, Jonathan A. Rees,  Paul  Hudak,
  83.       James  Philbin  and  Norman  I.  Adams, Orbit: An Optimizing
  84.       Compiler for Scheme, Proceedings of the SIGPLAN Notices  '86
  85.       Symposium  on  Compiler  Construction,  June  1986, 219-233.
  86.       Published as SIGPLAN Notices Notices 21(7), July 1986.
  87.       
  88.       Marc Feeley, Deux Approches a'  L'implantation  du  Language
  89.       Scheme,  M.Sc.  Thesis,  De'partement  d'Informatique  et de
  90.       Recherche Ope'rationelle, University of Montreal, May 1986.
  91.       
  92.       R. Kent Dybvig,  Three  Implementation  Models  for  Scheme,
  93.       Department  of  Computer  Science  Technical  Report #87-011
  94.       (Ph.D. Dissertation), University of North Carolina at Chapel
  95.       Hill, Chapel Hill, North Carolina, April 1987.
  96.       
  97.       William D. Clinger, Anne H.  Hartheimer  and  Eric  M.  Ost,
  98.       Implementation   Strategies  for  Continuations,  Conference
  99.       Record of the 1988 ACM Conference  on  Lisp  and  Functional
  100.       Programming, August 1988, 124 131.
  101.       
  102.       David Kranz,  Orbit:  An  Optimizing  Compiler  for  Scheme,
  103.       Computer Science Technical report #632 (Ph.D. Dissertation),
  104.       Yale University, 1988.
  105.       
  106.       Joel F. Bartlett, SCHEME->C a Portable Scheme-to-C Compiler,
  107.       Research Report 89/1, Dec. Western Research Laboratory, Palo
  108.       Alto, California, January 1989.
  109.       
  110.       Marc Feeley and James S. Miller, A Parallel Virtual  Machine
  111.       for  Efficient  Scheme  Compilation, Proceedings of the 1990
  112.       ACM Conference on Lisp  and  Functional  Programming,  Nice,
  113.       France, June 1990.
  114.       
  115.       Chris Hanson, Efficient Stack Allocation for  Tail-Recursive
  116.       Languages,  Proceedings  of  the 1990 ACM Conference on Lisp
  117.       and Functional Programming, Nice, France, June 1990.
  118.       
  119.       Robert Hieb, R. Kent Dybvig and Carl Bruggeman, Representing
  120.       Control   in  the  Presence  of  First-Class  Continuations,
  121.       Proceedings  of  the  SIGPLAN  Notices  '90  Conference   on
  122.       Programming   Language   Design  and  Implementation,  White
  123.       Plains, New York, June 1990, 66-77.
  124.       
  125.       Dan Teodosiu, HARE:  An  Optimizing  Portable  Compiler  for
  126.       Scheme, ACM Sigplan Notices 26, 1 (Jan 1991).
  127.         
  128. enjoy.oz
  129. ---
  130. If you can't understand it, you        | electric: oz@sis.yorku.ca
  131. certainly can't trust it. - D. McIlroy | ph: [416] 736 2100 x33976
  132.  
  133.