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 Syntax and Semantics of Programming LanguagesFormal Syntax and Semantics of Programming Languages
by - Addison Wesley Longman
The book presents the typically difficult subject of formal methods in an informal, easy-to-follow manner. Readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts.
(10299 views)
Book cover: Semantics With Applications: A Formal IntroductionSemantics With Applications: A Formal Introduction
by - John Wiley & Sons
The book covers the foundations of structural operational semantics and natural semantics. It shows how to describe the semantics of declarative as well as imperative language constructs and will also touch upon non-sequential constructs.
(7649 views)
Book cover: Exploring Programming Language Architecture in PerlExploring Programming Language Architecture in Perl
by
This book presents an informal and friendly introduction to some of the core ideas in modern computer science, using the programming language Perl as its vehicle. The book takes the form of a series of working interpreters for the language PScheme.
(7885 views)
Book cover: Lecture Notes on the Lambda CalculusLecture Notes on the Lambda Calculus
by - 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.
(6486 views)