Lecture Notes on Semantics of Programming Languages
Introduces the structural, operational approach to programming language semantics.
Tag(s): Formal Methods
Publication date: 01 Jan 2002
ISBN-10: n/a
ISBN-13: n/a
Paperback: 97 pages
Views: 21,057
Type: Lecture Notes
Publisher: n/a
License: n/a
Post time: 12 Dec 2006 10:57:54
Lecture Notes on Semantics of Programming Languages
Introduces the structural, operational approach to programming language semantics.
Publication date: 01 Jan 2002
ISBN-10: n/a
ISBN-13: n/a
Paperback: 97 pages
Views: 21,057
Document Type: Lecture Notes
Publisher: n/a
License: n/a
Post time: 12 Dec 2006 10:57:54
These notes are designed to accompany 12 lectures on programming language semantics for Part IB of the Cambridge University Computer Science Tripos. The aim of the course is to introduce the structural, operational approach to programming language semantics. It shows how this formalism is used to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.
At the end of the course the student should:
* be familiar with rule-based presentations of the operational semantics of some simple imperative, functional and interactive program constructs;
* be able to prove properties of an operational semantics using various forms of induction (mathematical, structural, and rule-based);
* and be familiar with some operationally-based notions of semantic equivalence of program phrases and their basic properties.
Tweet
About The Author(s)
Professor of Theoretical Computer Science, Computer Laboratory, University of Cambridge. Interested in all aspects of programming language semantics, be they operational or denotational (or somewhere between the two).
Professor of Theoretical Computer Science, Computer Laboratory, University of Cambridge. Interested in all aspects of programming language semantics, be they operational or denotational (or somewhere between the two).