Consistent and Complementary Formal Theories of the Semantics of Programming Languages
- Lookup NU author(s)
|
|
|
|
| Author(s) | | Hoare CAR, Lauer PE |
| Series Editor(s) | | Shaw B |
| Publication type | | Report |
| Series Title | | Computing Laboratory Technical Report Series |
| Year | | 1973 |
| Date | | April 1973 |
| Report Number | | 44 |
| Pages | | [28] |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| This paper presents a comparative study of different methods for formal description of programming languages. These methods have been applied to a simple but realistically usable programming language; the more abstract definitions have been proved to be consistent relative to the more concrete ones. |
|
|
|
| Institution | | Computing Laboratory, The University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| Actions | |  |
