Static and Dynamic Semantics of a Simple Programming Language

B. K. Aichernig and A. Kerschbaumer

Abstract:

Reference: B. K. Aichernig and A. Kerschbaumer. Static and dynamic semantics of a simple programming language. Technical Report IST-TEC-98-01, Institute for Software Technology (IST), Graz University of Technology, May 1998. (PostScript available on demand).