Logo

Semantics of Programming Languages

Small book cover: Semantics of Programming Languages

Semantics of Programming Languages
by

Publisher: University of Cambridge
Number of pages: 97

Description:
The aim of the course is to introduce the structural, operational approach to programming language semantics. The course 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.

Download or read it online for free here:
Download link
(480KB, PDF)

Similar books

Book cover: Comparative Studies of Programming LanguagesComparative Studies of Programming Languages
by - arXiv
Lecture notes for the Comparative Studies of Programming Languages course. These notes include a compiled book of primarily related articles from the Wikipedia, as well as Comparative Programming Languages book and other resources.
(4709 views)
Book cover: Proofs and TypesProofs and Types
by - Cambridge University Press
This little book comes from a short graduate course on typed lambda-calculus given at the Universite Paris. It is not intended to be encyclopedic and the selection of topics was really quite haphazard. Some very basic knowledge of logic is needed.
(9587 views)
Book cover: Datalogi V - Programming LanguagesDatalogi V - Programming Languages
by - Datalogisk Institut
This text concerns several dimensions of programming languages. We will emphasize precise definitions of the effects of various programming language features, the semantics and implementation of programming languages, and proofs concerning programs.
(4466 views)
Book cover: Reasoned ProgrammingReasoned Programming
by - Prentice Hall Trade
The text for advanced undergraduate/graduate students of computer science. It introduces functional, imperative and logic programming and explains how to do it correctly. Functional programming is presented as a programming language in its own right.
(7105 views)