Welcome to E-Books Directory
This is a freely downloadable e-book.

Datalogi V - Programming Languages

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 here:

Download link

 (1.1MB, PDF)