home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / cplus / 11716 < prev    next >
Encoding:
Internet Message Format  |  1992-07-29  |  1.7 KB

  1. Path: sparky!uunet!mcsun!sunic!dkuug!daimi!torsten
  2. From: torsten@daimi.aau.dk (Torsten B. Hagemann)
  3. Newsgroups: comp.lang.c++
  4. Subject: Re: Found references to A++
  5. Keywords: Annotated C++, A++, assertions, preconditions, postconditions
  6. Message-ID: <1992Jul29.105419.12434@daimi.aau.dk>
  7. Date: 29 Jul 92 10:54:19 GMT
  8. References: <18708@drutx.ATT.COM>
  9. Sender: torsten@daimi.aau.dk (Torsten B. Hagemann)
  10. Organization: DAIMI: Computer Science Department, Aarhus University, Denmark
  11. Lines: 33
  12.  
  13. weh@abasin.dr.att.com (William E. Hopkins) writes:
  14.  
  15. >I was able to find two references to what is known as Annotated C++ or A++
  16. >(``Annotated C++'' made electronic searches match on every reference to the
  17. >ARM, which is practically *all* C++ papers/books written since 1990...):
  18.  
  19. >Cline, M., and Lea, D., ``Using Annotated C++,'' C++ at Work, Secaucus, NJ,
  20. >September 1990, p. 65.
  21.  
  22. >Cline, M., and D. Lea, ``The Behavior of C++ Classes,'' Symposium on
  23. >Object-Oriented Programming Emphasizing Practical Applications (SOOPPA),
  24. >Marist College, Poughkeepsie, NY, September 1990, p. 81.
  25.  
  26.  
  27. >Unfortunately, those are not the easiest things to obtain (i.e., not in
  28. >AT&T corporate library).  Does anyone know of any other reference (I do
  29. >have librarians trying to get the above)?
  30.  
  31. >        Bill Hopkins
  32.  
  33. >P.S. Thanks to Mike Vilot for the pointer to the above in the class notes
  34. >     he wrote for TEC's Advanced C++ programming course.
  35.  
  36. I know that these are not easy to find, I got them in postscript (complete
  37. except for one figure) from Doug Lea. I am willing to email them to you if you
  38. want them.
  39.  
  40. I have written a thesis on Assertions in BETA, which is also available in
  41. postscript, if any should want it. 
  42.  
  43. Torsten
  44. --
  45. The flesh is willing, and the spirit is weak. 
  46.