Xref: utzoo comp.software-eng:4336 comp.specification:162
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!cliff
From: cliff@cs.man.ac.uk (Cliff Jones)
Newsgroups: comp.software-eng,comp.specification
Subject: Re: Formal specifications of Pascal
Message-ID: <1812@m1.cs.man.ac.uk>
Date: 18 Oct 90 08:38:58 GMT
References: <2317@charon.cwi.nl>
Sender: news@cs.man.ac.uk
Reply-To: cliff@cs.man.ac.uk (Cliff Jones)
Followup-To: comp.software-eng
Organization: Department of Computer Science, University of Manchester UK
Lines: 14


You ask for a (static) semantics of Pascal. This is covered in the
Andrews/Henhapl chapter in:


@book{BjornerJones82,
	author =	"D. Bj{\o}rner and C.B. Jones",
	year =		"1982",
	publisher =	"Prentice Hall International",
	title =		"Formal Specification and Software Development",
	note = 		"501 pages"
}

cliff jones