Use this URL to cite or link to this record in EThOS: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.237653 |
![]() |
|||||||
Title: | A study of two formal description languages and their application to PASCAL | ||||||
Author: | Badii, Mehdi |
ISNI:
0000 0001 3435 1210
|
|||||
Awarding Body: | Loughborough University of Technology | ||||||
Current Institution: | Loughborough University | ||||||
Date of Award: | 1981 | ||||||
Availability of Full Text: |
|
||||||
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.
|
|||||||
Supervisor: | Not available | Sponsor: | Not available | ||||
Qualification Name: | Thesis (Ph.D.) | Qualification Level: | Doctoral | ||||
EThOS ID: | uk.bl.ethos.237653 | DOI: | Not available | ||||
Keywords: | Computer software & programming | ||||||
Share: |