| 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: | |||||||