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

**The Theory of Languages and Computation**

by

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

(

**3188**views)

**Practical Foundations for Programming Languages**

by

**Robert Harper**

This is a book on the foundations of programming languages. The emphasis is on the concept of type, which organizes the computational universe in the same way that the concept of set may be seen as an organizing principle for mathematics.

(

**11067**views)

**A Practical Theory of Programming**

by

**Eric C.R. Hehner**-

**Springer**

Understanding programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. It describes a simple and comprehensive theory.

(

**8918**views)

**Implementing Functional Languages: a tutorial**

by

**Simon Peyton Jones, David Lester**-

**Prentice Hall**

This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. It is intended to be a source of practical material, to help make functional-language implementations come alive.

(

**7422**views)