SIGPLAN(Tutorial Session)

Abstract

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.