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: Partial Evaluation and Automatic Program GenerationPartial Evaluation and Automatic Program Generation
by - Prentice Hall
The book about partial evaluation, a program optimization technique also known as program specialization. It presents principles for constructing partial evaluators for a variety of programming languages, and gives references to the literature.
(14872 views)
Book cover: Dictionary of Programming LanguagesDictionary of Programming Languages
by
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.
(12076 views)
Book cover: Exploring Programming Language Architecture in PerlExploring Programming Language Architecture in Perl
by
This book presents an informal and friendly introduction to some of the core ideas in modern computer science, using the programming language Perl as its vehicle. The book takes the form of a series of working interpreters for the language PScheme.
(14480 views)
Book cover: Type Systems for Programming LanguagesType Systems for Programming Languages
by
Provides an account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
(14978 views)