Title

Author

To view this PDF file best in your PC we recommend Sumatra Reader

 By: Gilles Dowek, Jean-Jacques Lvy

Introduction to the Theory of Programming Languages
Gilles Dowek, Jean-Jacques Lvy

0.90MB

Format: PDF  |   Year: 2011   |   Computers

The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to think, design, and implement these languages.It proposes a unified vision of the different formalisms that permit definition of a programming language: small steps operational semantics, big steps operational semantics, and denotational semantics, emphasising that all seek to define a relation between three objects: a program, an input value, and an output value. These formalisms are illustrated by presenting the semantics of some typical features of programming languages: functions, recursivity, assignments, records, objects, ... showing that the study of programming languages does not consist of studying languages one after another, but is organized around the features that are present in these various languages. The study of these features leads to the development of evaluators, interpreters and compilers, and also type inference algorithms, for small languages.

Similar Books

Principles of Programming Languages By: Gilles Dowek

Computers

. PDF

Principles of Programming Languages
Gilles Dowek

Download
Introduction to Concurrency in Programming Languages By: Matthew J. Sottile

Computers

. PDF

Introduction to Concurrency in Programming Languages
Matthew J. Sottile

Download
The Formal Semantics of Programming Languages By: Glynn Winskel

Computers

. PDF

The Formal Semantics of Programming Languages
An Introduction

Glynn Winskel

Download
Seven Languages in Seven Weeks By: Bruce A. Tate

Computers

. PDF

Seven Languages in Seven Weeks
A Pragmatic Guide to Learning Programming Languages

Bruce A. Tate

Download
Masterminds of Programming By: Federico Biancuzzi, Shane Warden

Computers

. PDF

Masterminds of Programming
Conversations with the Creators of Major Programming Languages

Federico Biancuzzi, Shane Warden

Download
Programming Languages for Information Security By: Stephan Arthur Zdancewic

Computers

. PDF

Programming Languages for Information Security
Stephan Arthur Zdancewic

Download
Programming Languages for MIS By: Hai Wang

Computers

. PDF

Programming Languages for MIS
Concepts and Practice

Hai Wang

Download
Conepts of Programming Languages - Seventh Edition By: Robert W. Sebesta

Computers

. DJVU

Conepts of Programming Languages - Seventh Edition
Robert W. Sebesta

Download
Algorithmics By: Gilles Brassard, Paul Bratley

Computers

. PDF

Algorithmics
Theory and practice

Gilles Brassard, Paul Bratley

Download
Concepts of Programming Languages By: Robert W. Sebesta

Computers

. PDF

Concepts of Programming Languages
Robert W. Sebesta

Download

© 2010 - 2015 | PDF Books International