home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / specific / 585 < prev    next >
Encoding:
Internet Message Format  |  1992-12-16  |  3.6 KB
  1. Path: sparky!uunet!europa.asd.contel.com!emory!swrinde!cs.utexas.edu!sdd.hp.com!saimiri.primate.wisc.edu!usenet.coe.montana.edu!news.u.washington.edu!ogicse!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!nettles
  2. From: nettles+@cs.cmu.edu (Scott Nettles)
  3. Newsgroups: comp.specification
  4. Subject: Corrections to "A Larch Specification of Copying Garbage Collection"
  5. Message-ID: <BzD287.9sI.1@cs.cmu.edu>
  6. Date: 16 Dec 92 16:38:28 GMT
  7. Article-I.D.: cs.BzD287.9sI.1
  8. Sender: news@cs.cmu.edu (Usenet News System)
  9. Organization: School of Computer Science, Carnegie Mellon
  10. Lines: 72
  11. Nntp-Posting-Host: ldl.venari.cs.cmu.edu
  12.  
  13. Some bugs were discovered in my specification.  The corrected version
  14. has been placed in the ftp area. If you got a buggy copy, please ftp a
  15. corrected one. Any hardcopy orders will receive the corrected one.
  16. Thanks to Mark Vandevoorde for finding the mistakes.  My original post
  17. and ftp/ordering instructions are below.
  18.  
  19. Scott
  20. --------------------------------------------------------------------
  21.  
  22. I've written a specification of copying GC in Larch which may be of
  23. interest to some of you.  It's  CMU-CS-92-219 and I've included an
  24. abstract, ftp directions and hardcopy ordering directions below.  I'd
  25. welcome any feedback you might have about it.
  26.  
  27. Scott Nettles
  28. nettles@cs.cmu.edu
  29.  
  30. ---------------------------------------------------------------------------
  31.  
  32. A Larch Specification of Copying Garbage Collection
  33.  
  34. Garbage collection (GC) is an important part of many language
  35. implementations.  One of the most important garbage collection
  36. techniques is copying GC.  This paper consists of an informal but
  37. abstract description of copying collection, a formal specification of
  38. copying collection written in the Larch Shared Language and the Larch/C
  39. Interface Language, a simple implementation of a copying collector
  40. written in C, an informal proof that the implementation satisfies the
  41. specification, and a discussion of how the specification applies to
  42. other types of copying GC such as generational copying collectors.
  43. Limited familiarity with copying GC or Larch is needed to read the
  44. specification.
  45.  
  46. -------------------------------------------------------------------------
  47.  
  48.    DIRECTIONS FOR ANONYMOUS FTP:
  49.    1) Ftp to reports.adm.cs.cmu.edu (128.2.218.42) as "anonymous".
  50.  
  51.    2) At the password prompt, send your Username@site
  52.       (you must include the "@" or the login will fail)
  53.  
  54.    3) Then "cd 1992"  (the directory for 1992 technical reports)
  55.  
  56.    4) Use the standard ftp commands, such as "get", "cd", "ls", etc.
  57.  
  58.    5) The reports are in postscript format (.ps).  The index file
  59.       is called README.mss.  The reports are listed in the directory
  60.       by their NUMBER.ps...for example, CMU-CS-92-100.ps, CMU-CS-92-101.ps
  61.       and so on.  The majority of the files are not compressed, although
  62.       any compressed files will be listed as NUMBER.ps.Z .  A very few
  63.       reports have been broken down into multiple postscript files.  They
  64.       will appear as NUMBERA.ps, NUMBERB.ps, etc.  The README.mss will
  65.       indicate the reports that have multiple .ps files.
  66.  
  67.    6) When you have finished copying the files you need, simply "quit."
  68.  
  69. -----------------------------------------------------------------------------
  70.  
  71. You can order a printed version from the following address.
  72.  
  73. Computer Science Documentation
  74. School of Computer Science
  75. Carnegie Mellon University
  76. 5000 Forbes Avenue
  77. Pittsburgh, PA  15213-3891
  78. reports@cs.cmu.edu - 412/268-2596
  79.  
  80. The market price:
  81.  
  82. Domestic: (US/CANADA) $2.00 (this includes first class postage and
  83.                              document production)
  84. Overseas:              5.00 (includes airmail and document production)
  85.