Logo

Principles of Programming Languages

Principles of Programming Languages
by

Publisher: Ben-Gurion University of the Negev
Number of pages: 423

Description:
This course is about building computational processes. We need computational processes for computing functions, and for performing computational tasks. The means for performing computational processes are programs. The emphasis is on programming languages and their properties.

Home page url

Download or read it online for free here:
Download link
(1.8MB, PDF)

Similar books

Book cover: Formal LanguagesFormal Languages
by - Tampere University of Technology
In these notes the classical Chomskian formal language theory is fairly fully dealt with, omitting however much of automata constructs and computability issues. Surveys of Lindenmayer system theory and the mathematical theory of codes are given.
(3757 views)
Book cover: Practical Foundations for Programming LanguagesPractical Foundations for Programming Languages
by
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.
(11398 views)
Book cover: Semantics of Programming LanguagesSemantics of Programming Languages
by - University of Cambridge
These notes introduce the structural, operational approach to programming language semantics. The course shows how to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.
(3503 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.
(11322 views)