© 1983 by British Computer Society
Programming with Grammars: An Exercise in Methodology-Directed Language Design

1 Computer Systems Research Group, University of Toronto, Toronto, Canada, 2 Apple Computer Corp., 10260 Bandley Drive, Cupertino, USA
Our premise is that programming languages should be designed to facilitate a programming methodology. We begin with the methodology of Michael Jackson; the notation that results is similar to Hoare's communicating sequential processes. Data and processing structures are described together in one grammatical formalism.
Received November 1982.
* Computer Systems Research Group, University of Toronto, Toronto, Canada M5S 1A4
Apple Computer Corp., 10260 Bandley Drive, Cupertino, CA 95014, USA