Universal E-Book Reader

  Find Books:   Book Title

Author

Format

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

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

Format: PDF  |   Year: 2011   |   File Size: 0.90MB   |   Pages: 109

Sign Up To Download

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

The Formal Semantics of Programming Languages By: Glynn Winskel

Computers

. PDF

The Formal Semantics of Programming Languages
Glynn Winskel

Seven Languages in Seven Weeks By: Bruce A. Tate

Computers

. PDF

Seven Languages in Seven Weeks
Bruce A. Tate

Masterminds of Programming By: Federico Biancuzzi, Shane Warden

Computers

. PDF

Masterminds of Programming
Federico Biancuzzi, Shane Warden

Programming Languages for Information Security By: Stephan Arthur Zdancewic

Computers

. PDF

Programming Languages for Information Security
Stephan Arthur Zdancewic

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

Computers

. DJVU

Conepts of Programming Languages - Seventh Edition
Robert W. Sebesta

Concepts of Programming Languages By: Robert W. Sebesta

Computers

. PDF

Concepts of Programming Languages
Robert W. Sebesta

History of Programming Languages By: Richard L. Wexelblat

Computers

. PDF

History of Programming Languages
Richard L. Wexelblat

Programming Languages and Systems By: Zhong Shao

Computers

. PDF

Programming Languages and Systems
Zhong Shao

Concepts in Programming Languages By: John C. Mitchell

Computers

. PDF

Concepts in Programming Languages
John C. Mitchell

Algorithmics By: Gilles Brassard, Paul Bratley

Computers

. PDF

Algorithmics
Gilles Brassard, Paul Bratley

Multiparadigm Constraint Programming Languages By: Petra Hofstedt

Computers

. PDF

Multiparadigm Constraint Programming Languages
Petra Hofstedt

Sign-Up as a Member and download
as many E-Books as you want

Download E-Book Readers

Windows Mac Android

PDF Books International - All Rights Reserved
Contact  |  Terms  |  Privacy  |  DMCA