Semantics of Programming Languages
by Andrew M. Pitts
Publisher: University of Cambridge 2002
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
Lectures on the Curry-Howard Isomorphismby Morten Heine B. Sorensen, Pawel Urzyczyn - Elsevier Science
This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.
(14347 views)
The Theory of Languages and Computationby Jean Gallier, Andrew Hicks - University of Pennsylvania
From the table of contents: Automata; Formal Languages (A Grammar for Parsing English, Context-Free Grammars, Derivations and Context-Free Languages, Normal Forms for Context-Free Grammars, Chomsky Normal Form, ...); Computability; Current Topics.
(11522 views)
Dictionary of Programming Languagesby Neal Ziring
The Dictionary of Programming Languages is an online compendium of computer coding methods assembled to provide information and aid your appreciation for computer science history. The dictionary currently has over 120 entries.
(15975 views)
Comparative Studies of Programming Languagesby Joey Paquet, Serguei A. Mokhov - 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.
(12601 views)