[net.lang] Visual Representation of Program Specification

dcn@ihuxl.UUCP (Dave Newkirk) (02/20/84)

I saw this in the new SIGPLAN (FEB '84) and I thought anyone working with
the problems 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

dcn@ihuxl.UUCP (Dave Newkirk) (02/21/84)

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

jbray@bbncca.ARPA (James Bray) (02/21/84)

Ok, I get it. Four or five times even!

--Jim