Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!rpi!uupsi!sunic!ugle.unit.no!hanche
From: hanche@imf.unit.no (Harald Hanche-Olsen)
Newsgroups: comp.lang.scheme
Subject: Re: Notions of program correctness (was Re: Tail-calling ...)
Message-ID: <HANCHE.91Feb19234710@hufsa.imf.unit.no>
Date: 19 Feb 91 22:47:10 GMT
References: <9102112032.AA03542@cymbal.reasoning.com.>
	<harlan.666514120@copper> <CARLTON.91Feb15122042@husc10.harvard.edu>
	<HANCHE.91Feb17002434@hufsa.imf.unit.no> <908@anaxagoras.ils.nwu.edu>
	<CARLTON.91Feb18160459@husc10.harvard.edu>
	<GUTTMAN.91Feb18154856@dar
Sender: news@ugle.unit.no
Organization: The Norwegian Institute of Technology, Trondheim, Norway.
Lines: 15
In-Reply-To: guttman@mitre.org's message of 18 Feb 91 14:48:56 GMT

In article <GUTTMAN.91Feb18154856@darjeeling.mitre.org> guttman@mitre.org (Joshua D. Guttman) writes:

   So I suppose I would advocate saying that proper tail recursion should not
   change the mathematical *semantics* of a program, tho' it certainly changes
   something else: call it, perhaps, the pragmatics of the program.  

So now I am sure we are all looking forward to seeing a formal
pragmatics section in R^4RS :-)  Sure, I used the word semantics in an
informal way in my posting.  It sparked an interesting discussion,
though.

- Harald Hanche-Olsen <hanche@imf.unit.no>
  Division of Mathematical Sciences
  The Norwegian Institute of Technology
  N-7034 Trondheim, NORWAY