Language design and semantics
J Chen
6 points * 4 hours per week * First semester * Caulfield
Distinguishing syntax from semantics. Outline of the main approaches for giving meaning to programming languages. Conceptual modelling of a language and its object-oriented specification. Concrete and abstract syntax. Prototyping a language's syntax. The lambda calculus and denotational semantics. Prototyping denotational semantics using a functional programming language.
Assessment
Assignments: 100%
Prescribed texts
Meyer B Introduction to the theory of programming languages Prentice-Hall, 1990
Watt D Programming language syntax and semantics Prentice-Hall, 1991
Recommended texts
Wikstrom A Functional programming using standard ML Prentice-Hall, 1987