Lecture Notes on Semantics of Programming Languages

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: 20,391

Type: Lecture Notes

Publisher: n/a

License: n/a

Post time: 12 Dec 2006 10:57:54

Lecture Notes on Semantics of Programming Languages

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: 20,391
Document Type: Lecture Notes
Publisher: n/a
License: n/a
Post time: 12 Dec 2006 10:57:54
Document Excerpts:

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.
 




About The Author(s)


Professor of Theoretical Computer Science, Computer LaboratoryUniversity of Cambridge. Interested in all aspects of programming language semantics, be they operational or denotational (or somewhere between the two).

Andrew M. Pitts

Professor of Theoretical Computer Science, Computer LaboratoryUniversity of Cambridge. Interested in all aspects of programming language semantics, be they operational or denotational (or somewhere between the two).


Book Categories
Sponsors