guthery@acw.UUCP (Scott Guthery) (09/24/89)
The only rigorous and reliable definition of the semantics of the
programming language C++ that I have been able to find is "Whatever
the latest release of Cfront does." Since I find operational
definitions difficult to use and desire a definition with a little
more persistence, I wonder if anyone had a better candidate?
Cheers, Scott
+*+*+*+*+*+*+*+*+*+*+*+*+ Austin Code Works +*+*+*+*+*+*+*+*+*+*+*+*+*+*+**+*+
NET Domain: guthery@uunet.uu.net Post: 11100 Leafwood Lane
COM Domain: guthery@acw.com Austin, Texas 78750-3409 USA
US Domain: guthery@acw.austin.tx.us FAX: +1 (512) 258-1342
Path: {uunet}!acw!guthery Voice: +1 (512) 258-0785
Work: guthery@asc.slb.com TELEX: 446370 (austincodewrks)
Packet: N5MDE @ KB5PM EasyLink: 62752994
Fidonet: 1:382/12 Prodigy: KSWS89A
+*+*+*+*+*+*+*+*+*+*+*+*+* The Source of C +*+*+*+*+*+*+*+*+*+*+*+*+*+*+*+*+*+bs@alice.UUCP (Bjarne Stroustrup) (09/24/89)
> Subject: Wanted: C++ Reference Manual Austin Code Works) > (16 lines) More? [ynq] > The only rigorous and reliable definition of the semantics of the > programming language C++ that I have been able to find is "Whatever > the latest release of Cfront does." Since I find operational > definitions difficult to use and desire a definition with a little > more persistence, I wonder if anyone had a better candidate? > Cheers, Scott You might try the 2.0 reference manual: **** It is now possible to get the 2.0 documentation from AT&T: reference manual: 307-146 library manual: 307-145 selected readings: 307-144 release notes: 307-090 (you might try 1-800-432-6600). The direct number is 317-352-8557 (that's US Central time). The prices for those docs are: Ref: $25, lib: $35, selected readings: $30, release notes: $20. ****
marc@dumbcat.UUCP (Marco S Hyman) (09/25/89)
In article <21.UUL1.3#913@acw.UUCP> guthery@acw.UUCP (Scott Guthery) writes:
The only rigorous and reliable definition of the semantics of the
programming language C++ that I have been able to find is "Whatever
the latest release of Cfront does."
How about the UNIX System V AT&T C++ Language System Release 2.0 Product
Reference Manual Select Code 307-146.
Not quite as rigorous as ``Whatever the latest release of Cfrond does.'' but
a good starting place. I understand that the next document from BS will be
a specification for implementers and other language lawyers -- or so he stated
at a conference last February. When it's done it may be what you're looking
for.
--marc
--
// Marco S. Hyman {ames,pyramid,sun}!pacbell!dumbcat!marcbright@Data-IO.COM (Walter Bright) (09/26/89)
In article <110@dumbcat.UUCP> marc@dumbcat.UUCP (Marco S Hyman) writes: <In article <21.UUL1.3#913@acw.UUCP> guthery@acw.UUCP (Scott Guthery) writes: < The only rigorous and reliable definition of the semantics of the < programming language C++ that I have been able to find is "Whatever < the latest release of Cfront does." The problem with that is the inability to distinguish between a bug and a feature. Lots of people may end up relying on an unintended quirk of cfront, so future versions become forced to support it, and thus we all get stuck with warts. Cfront is no longer the only C++ implementation, others currently exist and a large number of others are under development. Relying on undocumented behavior of cfront will get you into as much trouble as doing things like *p++ = *p++; <How about the UNIX System V AT&T C++ Language System Release 2.0 Product <Reference Manual Select Code 307-146. Please use this as your reference. If there are bugs/ambiguities/vaguenesses in it, ask questions on this net. There are many knowledgable people here who can clear it up, and notify Bjarne about the problem, so he can correct the next version.
bs@alice.UUCP (Bjarne Stroustrup) (09/26/89)
Data I/O Corporation; Redmond, WA) (and the author of the Zortech C++ compiler) writes > <How about the UNIX System V AT&T C++ Language System Release 2.0 Product > <Reference Manual Select Code 307-146. > > Please use this as your reference. If there are bugs/ambiguities/vaguenesses > in it, ask questions on this net. There are many knowledgable people here > who can clear it up, and notify Bjarne about the problem,ee Please do. e.