Semantics Specification of Types and Programming LanguagesFDA184, 2005VT
Lectures and seminars by
invited speakers and course participants.
All graduate students
The course was last given
Provide insight into semantics specification of typing and programming language
Learn practical specification of such concepts using Natural Semantics and operational
Undergraduate courses in programming languages.
Also: either the ECSEL foundational course Principles of programming languages and systems,
or at least one of the undergraduate courses
Compiler Construction, Formal Languages and Automata, Programming Theory
Specification of Untyped Systems
Specification of Untyped Lambda-Calcuclus
Specification of Simple Types
Specification of Typed Arithmetic Expressions
Specification of Simply Typed Lambda Calculus
Specification of Function Types
Specification of Based Types
Specification of the Unit Type
Specification of Pairs, Tuples, Records, Sums, Variants
Specification of Normalization of simple types
Specification of References, Store typesing, Safety
Specification of Exception handling
Specification of Subtyping
Specification of Subsumption
Specification of Top and Bottom Types
Specification of Intersection of Union types
Specification of Imperative Objects
Specification of Recursive Types
Specification of Finite and Infinite Tyeps
Specification of Polymorphism
Specification of Type variables and substitutions
Specification of Constraint-based typing
Specification of Unification
Natural Semantics based generation of compilers
RML - The Relational Meta Language
Interfacing to parsers
Debugging of Natural Semantics specifications
A large translational semantics
Seminars with active participation by course participants, some lectures,
presentations by course participations, practical semantics specification and
generation from semantics specification.
Group discussions and presentations of solutions.
Benjamin C. Pierce: "Types and Programming Languages"
MIT Press 2002
Peter Fritzson: "Efficient Language Implementation by Natural Semantics", book draft.
Peter Fritzson, invited speakers
Examination: oral presentations of the course literature and problem solving of
The course will be given late spring and early fall 2005.
Page responsible: Webmaster
Last updated: 2012-05-03