Xref: utzoo comp.software-eng:4282 comp.specification:153
Path: utzoo!attcan!uunet!mcsun!hp4nl!charon!cwi.nl!arie
From: arie@cwi.nl (Arie v. Deursen)
Newsgroups: comp.software-eng,comp.specification
Subject: Formal specifications of Pascal
Keywords: Formal Specifications, Pascal, Algebraic Specifications
Message-ID: <2317@charon.cwi.nl>
Date: 11 Oct 90 09:44:40 GMT
Sender: news@cwi.nl
Reply-To: arie@cwi.nl
Organization: Centre for mathematics & computer science
Lines: 22


Hello,

I am looking for literature concerning formal specifications for the static
semantics of Pascal. The static semantics of a strongly typed language like
Pascal, mainly covers, of course, its type checking rules.
I am very interested in formal specifications for the type check rules
for Pascal.

I already have studied the ISO standard (ISO 7185): natural language, not very
formal mathematically spoken,
and I have looked at the attributed grammar definition of the GAG system, by
Uwe Kastens c.s. (LNiCS 141).

I would appreciate any help,
   thanks in advance,
	Arie



Arie van Deursen	   Centrum voor Wiskunde en Informatica (CWI)
(arie@cwi.nl)		   P.O. Box 4079, 1009 AB Amsterdam, The Netherlands