Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!husc6!bu-cs!buengc!bph
From: bph@buengc.BU.EDU (Blair P. Houghton)
Newsgroups: comp.lang.c
Subject: Fight! (Re: When is a cast not a cast?)
Message-ID: <2907@buengc.BU.EDU>
Date: 18 May 89 19:48:33 GMT
References: <2747@buengc.BU.EDU> <10191@smoke.BRL.MIL> <406@skye.ed.ac.uk> <10276@smoke.BRL.MIL> <2890@buengc.BU.EDU> <10282@smoke.BRL.MIL>
Reply-To: bph@buengc.bu.edu (Blair P. Houghton)
Followup-To: comp.lang.c
Organization: Boston Univ. Col. of Eng.
Lines: 24

In article <10282@smoke.BRL.MIL> gwyn@brl.arpa (Doug Gwyn) writes:
>In article <2890@buengc.BU.EDU> bph@buengc.bu.edu (Blair P. Houghton) writes:
>->What can one legally do with it?
>-What one can legally do between (consenting) integers?
>->(Apparently, subtracting r is legal?  What are the official criteria?)
>-Ask yer second-grade teacher, or get another career.
>
>You've managed to convince me (and probably others) that you don't
>have an inkling what it takes to specify programming language semantics.

You've proved to me (and long ago probably to others) that you lack a sense
of humor, and have an ego that bruises like bananas.

As for specifying semantics, I'm out of practice with such things.
I even had to look up the proof and conditions for

	f  (x,y) = f  (x,y)
	 xy	    yx

last night.

				--Blair
				  "...and I can remember doing that
				   proof in Calc III..."