Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 exptools 1/6/84; site ihuxl.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!houxm!ihnp4!ihuxl!dcn
From: dcn@ihuxl.UUCP (Dave Newkirk)
Newsgroups: net.lang
Subject: Visual Representation of Program Specification
Message-ID: <920@ihuxl.UUCP>
Date: Mon, 20-Feb-84 17:12:43 EST
Article-I.D.: ihuxl.920
Posted: Mon Feb 20 17:12:43 1984
Date-Received: Tue, 21-Feb-84 07:57:46 EST
Organization: AT&T Bell Labs, Naperville, IL
Lines: 28

I saw this in the new SIGPLAN (FEB '84) and I thought anyone working with
the problem of program specification should study this.


	A Visual Interpretation of:
	... the inevitable intertwining of specification and implementation


	 PPPP                                   Y     Y
	P    P  RRRR                       F    YY   YY
	P       R   R  OOOO        III    F F   Y Y Y Y
	P       R   R  O      GGG  I  I  F   F  Y  Y  Y
	 P      R   R  O     G     I  I  F   F  Y     Y
	  PP    RRRR   OOO   G     III   FFFFF  Y     Y
	    P   R      O     G     I I   F   F  Y     Y
	     P  R      O      GGG  I  I  F   F  Y     Y
	     P  R      OOOO        I  I  F   F  Y     Y
	P    P  R                        F   F  Y     Y
	 PPPP                                   Y     Y

	by R. G. Stone, University of Technology, Loughborough, England


P.S. If you have trouble deciphering this, you didn't read "Godel, Escher, Bach -
     An Eternal Golden Braid" by Doug Hofstadter.

					submitted by
					Dave Newkirk, ihnp4!ihuxl!dcn