A study of two formal description languages and their application to PASCAL
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.
Saved in:
| Main Author: | |
|---|---|
| Format: | Default Thesis |
| Published: |
1981
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2134/27043 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|