Re: Nondeterministic expressions & refinement calculus

Article View: comp.lang.functional

Article #184

Back to comp.lang.functional Previous Next

#184

From: Brendan Mahony
Date: Fri, 28 Aug 1992 02:11

16 lines
1018 bytes

Also of interest:

@article{Morris:ExpRef,
        author = {J. M. Morris},  
        title = "Programming by Expression Refinement: A Series of Examples",
        journal = {Structured Computing}, 
        volume = 11, 
        pages = {189--197}, 
        year = 1990 
}
--
When soldiers form lines or hollow squares, you call it reason.
When wild geese in flight take the form of a letter V, you say instinct.
When the homogeneous atoms of a mineral arrange themselves into shapes
mathematically perfect you have nothing to say. You have not even invented a name to conceal your heroic unreason."

Technical Details

Message-ID: <10023@uqcspe.cs.uq.oz.au>

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!brendan

References: <2006@dutiws.tudelft.nl>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!brendan
From: brendan@cs.uq.oz.au (Brendan Mahony)
Newsgroups: comp.lang.functional
Subject: Re: Nondeterministic expressions & refinement calculus
Message-ID: <10023@uqcspe.cs.uq.oz.au>
Date: 28 Aug 92 02:11:54 GMT
References: <2006@dutiws.tudelft.nl>
Sender: news@cs.uq.oz.au
Reply-To: brendan@cs.uq.oz.au
Lines: 16

Reply to Parent Message