Path: utzoo!attcan!uunet!crdgw1!ge-dab!tarpit!peora!masscomp!rpi!zaphod.mps.ohio-state.edu!usc!cs.utexas.edu!sun-barr!olivea!mintaka!bloom-beacon!eru!hagbard!sunic!mcsun!hp4nl!charon!cwi.nl!arie
From: arie@cwi.nl (Arie v. Deursen)
Newsgroups: comp.software-eng
Subject: Re: Formal specifications of Pascal
Message-ID: <2413@charon.cwi.nl>
Date: 26 Oct 90 09:15:16 GMT
References: <2317@charon.cwi.nl> <6698@castle.ed.ac.uk> <1827@m1.cs.man.ac.uk>
Sender: news@cwi.nl
Reply-To: arie@cwi.nl
Organization: Centre for mathematics & computer science
Lines: 81

Dear reader,



I`ve received several responses on my question for formal specifications of
the static semantics for Pascal. I'd like to thank everybody who gave a
response.
It really helped me.
Since there is still some discussion in this group on the subject, and
since several others may be interested as well, I'll post a summary:


Summarized:

1.  ISO International Standard, programming languages, Pascal, ISO
7185-1983 (E)

2.  U. Kastens, B. Hutt, E. Zimmermann, GAG: A Practical Compiler Generator,
    Lecture Notes in Computer Science 141, Springer-Verlag, 1982


Martin Weigele:
3.  An axiomatic definition of Pascal, Acta Informatica 2, 335-355, 1973

Marie-Laure Potet, Stephen J. Bevan, Michael Dyck, Matthys Kuiper:
4.  David a. Watt, An Extended Attribute Grammar for Pacal, SIGPLAN Notices,
    Vol.  14, No 2, 1979, pp 60--74

Matthys Kuiper:
5.  Mim Welsh & Atholl Hay, A model Implementation of Standard Pascal


Theo Norvell:
For languages similar to Pascal check out:
6.  Wolfgang Pollak's thesis (published as a LNCS by Springer-Verlag)
7.  The Design and Definition of the Turing Programming Language, by
Holt et al,
    published by Prentice-Hall.

Bruce T. Forstall:
8.  Reps & Teitlebaum's Synthesizer Generator (formerly, the Cornell Program
    Synthesizer) is a syntax-directed editor generator that uses an 
    incrementally updated attribute grammar for static semantics.  
    There are several books and papers describing the system.  They have a 
    complete attribute description of Pascal, that might even do code 
    generation.
9.  In Robert Ballance's PhD thesis--"Syntactic and Semantic Checking in 
    Language- Based Editing Systems"--he describes ``logical constraint 
    grammars,'' which resemble Prolog descriptions, for describing language 
    semantics.  This is Technical report UCB/CSD 89/548, from UC Berkeley's 
    Computer Science Division.  He references other semantic analysis systems.

Sean Matthews, Stephen J. Bevan, Michael Dyck, Cliff Jones:
10. @BOOK{BjornerJones82,
	    AUTHOR = {Dines Bj{\o}rner and Cliff B. Jones},
	    TITLE = {Formal Specification \& Software Development},
	    PUBLISHER = {Prentice Hall International},
	    YEAR = {1982},
	    SERIES = {Computer Science}
    }

Sean Matthews:
11. Another place to look for references would be Mike Gordon's book by the
    same publisher.

Paul Sander (paul@Atherton.COM):
12. Pascal User Guide and Report, N. Wirth, Kathleen Jensen, Springer-Verlag





		Thank you all,

		Arie


CWI, P.O. Box 4079 			Arie van Deursen (arie@cwi.nl)
1009 AB Amsterdam
The Netherlands			   Ich weiss nicht was soll es bedeuten ...
Tel. 31 20 5924007