Re: swap(x,y) in Algol 60

Article View: comp.lang.misc

Article #610

#610

From: Richard O'Keefe
Date: Mon, 04 Sep 1989 06:51

3 lines
630 bytes

There is a formal proof.  I believe it was published in the Algol Bulletin,
but it has been about six years since I read it.  You might look through
the Amsterdam MC (now CWI) reports as well.

Technical Details

Message-ID: <2012@munnari.oz.au>

Path:

arc1-ca.pugleaf.net!utzoo!attcan!uunet!cs.utexas.edu!csd4.csd.uwm.edu!lll-winken!ames!uhccux!munnari.oz.au!cs.mu.oz.au!ok

References: <31690@cornell.UUCP> <8369@boring.cwi.nl> <31736@cornell.UUCP> <31751@cornell.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!cs.utexas.edu!csd4.csd.uwm.edu!lll-winken!ames!uhccux!munnari.oz.au!cs.mu.oz.au!ok
From: ok@cs.mu.oz.au (Richard O'Keefe)
Newsgroups: comp.lang.misc
Subject: Re: swap(x,y) in Algol 60
Keywords: swap, algol
Message-ID: <2012@munnari.oz.au>
Date: 4 Sep 89 06:51:55 GMT
References: <31690@cornell.UUCP> <8369@boring.cwi.nl> <31736@cornell.UUCP> <31751@cornell.UUCP>
Sender: news@cs.mu.oz.au
Lines: 3

Reply to Parent Message