Loughborough University
Browse
Thesis-1981-Badii.pdf (8.04 MB)

A study of two formal description languages and their application to PASCAL

Download (8.04 MB)
thesis
posted on 2017-10-23, 08:56 authored by Mehdi Badii
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.

History

School

  • Science

Department

  • Computer Science

Publisher

© Mehdi Badii

Publisher statement

This work is made available according to the conditions of the Creative Commons Attribution-NonCommercial-NoDerivatives 2.5 Generic (CC BY-NC-ND 2.5) licence. Full details of this licence are available at: http://creativecommons.org/licenses/by-nc-nd/2.5/

Publication date

1981

Notes

A Doctoral Thesis. Submitted in partial fulfilment of the requirements for the award of Doctor of Philosophy at Loughborough University.

Language

  • en

Administrator link

Usage metrics

    Computer Science Theses

    Categories

    Keywords

    untaggedInformation and Computing Sciences not elsewhere classified

    Licence

    CC BY-NC-ND 2.5

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC