**Datalogi V - Programming Languages**

by A. Filinski, R. Gluck, N. D. Jones

**Publisher**: Datalogisk Institut 2007**Number of pages**: 240

**Description**:

This course concerns several dimensions of programming languages. We will emphasize 1. precise definitions of the effects of various programming language features; 2. the semantics and implementation of programming languages; 3. proofs concerning programs, e.g., equivalence of different semantics, correctness of an implementation, or correctness of type inference; and 4. semantics-based manipulation of programs by computer.

Download or read it online for free here:

**Download link**

(1.1MB, PDF)

## Similar books

**Comparative Studies of Programming Languages**

by

**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.

(

**4431**views)

**Principles of Programming Languages**

by

**Mike Grant, Zachary Palmer, Scott Smith**

An introduction to the study of programming languages for juniors, seniors, and graduate students. The book treats topics from a foundational perspective, it focuses on core concepts in language design, not directly on applied languages.

(

**15065**views)

**Lecture Notes on the Lambda Calculus**

by

**Peter Selinger**-

**Dalhousie University**

Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, etc.

(

**4698**views)

**Semantics: Advances in Theories and Mathematical Models**

by

**Muhammad Tanvir Afzal (ed.)**-

**InTech**

The book is a blend of a number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. Topics include: Background; Queries, Predicates, and Semantic Cache; Algorithms and Logic Programming; etc.

(

**4005**views)