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