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!linus!decvax!harpo!ihnp4!ihuxl!dcn From: dcn@ihuxl.UUCP (Dave Newkirk) Newsgroups: net.lang Subject: Visual Representation of Program Specification Message-ID: <918@ihuxl.UUCP> Date: Mon, 20-Feb-84 14:39:35 EST Article-I.D.: ihuxl.918 Posted: Mon Feb 20 14:39:35 1984 Date-Received: Tue, 21-Feb-84 04:34:04 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 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