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