Logo

Datalogi V - Programming Languages

Small book cover: Datalogi V - Programming Languages

Datalogi V - Programming Languages
by

Publisher: Datalogisk Institut
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

Book cover: Programming and Programming LanguagesProgramming and Programming Languages
by - Brown University
Many people would regard this as being two books in one. One book is an introduction to programming, teaching you basic concepts of organizing data and the programs that operate over them. The other book is an introduction to programming languages.
(2740 views)
Book cover: Computational Category TheoryComputational Category Theory
by
The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.
(11436 views)
Book cover: Linkers and LoadersLinkers and Loaders
by - Morgan Kaufmann
The author presents clear practical advice to help you create faster, cleaner code. You'll learn to avoid the pitfalls associated with Windows DLLs, take advantage of the performance-improving techniques supported by many modern linkers, etc.
(4048 views)
Book cover: Proofs and TypesProofs and Types
by - Cambridge University Press
This little book comes from a short graduate course on typed lambda-calculus given at the Universite Paris. It is not intended to be encyclopedic and the selection of topics was really quite haphazard. Some very basic knowledge of logic is needed.
(9717 views)