**Principles of Programming Languages**

by Mira Balaban

**Publisher**: Ben-Gurion University of the Negev 2017**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.

Download or read it online for free here:

**Download link**

(1.8MB, PDF)

## Similar books

**Denotational Semantics: A Methodology for Language Development**

by

**David Schmidt**-

**Kansas State University**

Denotational semantics is a methodology for giving mathematical meaning to programming languages and systems. This book was written to make denotational semantics accessible to a wider audience and to update existing texts in the area.

(

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

(

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

(

**10993**views)

**Programming Languages: Application and Interpretation**

by

**Shriram Krishnamurthi**-

**Lulu.com**

The textbook for a programming languages course, taken primarily by advanced undergraduate and beginning graduate students. This book assumes that students have modest mathematical maturity, and are familiar with the existence of the Halting Problem.

(

**9392**views)