The Vienna Definition Language
ACM Computing Surveys (CSUR)
On the time required for retention
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
Algol-60 Implementation
The contour model of block structured processes
ACM SIGPLAN Notices
Hi-index | 0.00 |
This tutorial will consist of two parts. In the first part, Professor Johnston will discuss informal semantic modelling of nested module computations in terms of the contour model. In the second part, Professor Berry will discuss and compare a variety of semantic modelling techniques.