Toggle Main Menu Toggle Search

Open Access padlockePrints

Black Tie Optional: Modelling Programming Language Concepts

Lookup NU author(s): Dr Joey Coleman, Nigel Jefferson, Professor Cliff JonesORCiD



This paper describes an undergraduate course taught at the University of Newcastle upon Tyne; the title of the module is Understanding Programming Languages. The main thrust of the course is to understand how to model features of language semantics. Specifically, (structural) operational semantics (SOS) is taught as a convenient and notational light way of recording and experimenting with features of procedural programming languages. We outline the content, discuss the contentious issue of tool support and relate experiences.

Publication metadata

Author(s): Coleman JW, Jefferson NP, Jones CB

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2004

Pages: 19

Print publication date: 01/01/2004

Source Publication Date: 2004

Report Number: 844

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne