Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/27043

Title: A study of two formal description languages and their application to PASCAL
Authors: Badii, Mehdi
Issue Date: 1981
Publisher: © Mehdi Badii
Abstract: In this thesis, we present two formal specification methods: the W-grammars and the Carabiner (CPS) systems, and use both systems to formally define the full specification of a fairly large subset of PASCAL.
Description: A Doctoral Thesis. Submitted in partial fulfilment of the requirements for the award of Doctor of Philosophy at Loughborough University.
URI: https://dspace.lboro.ac.uk/2134/27043
Appears in Collections:PhD Theses (Computer Science)

Files associated with this item:

File Description SizeFormat
Thesis-1981-Badii.pdf8.23 MBAdobe PDFView/Open
Form-1981-Badii.pdf33.67 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.