Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages
Author :
Publisher : Springer Science & Business Media
Total Pages : 102
Release :
ISBN-10 : 9780857290762
ISBN-13 : 0857290762
Rating : 4/5 (762 Downloads)

Book Synopsis Introduction to the Theory of Programming Languages by : Gilles Dowek

Download or read book Introduction to the Theory of Programming Languages written by Gilles Dowek and published by Springer Science & Business Media. This book was released on 2010-12-09 with total page 102 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Introduction to the Theory of Programming Languages Related Books

Introduction to the Theory of Programming Languages
Language: en
Pages: 102
Authors: Gilles Dowek
Categories: Computers
Type: BOOK - Published: 2010-12-09 - Publisher: Springer Science & Business Media

GET EBOOK

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
Introduction to the Theory of Programming Languages
Language: en
Pages: 472
Authors: Bertrand Meyer
Categories: Computers
Type: BOOK - Published: 1990 - Publisher:

GET EBOOK

Introduction to Programming Languages
Language: en
Pages: 628
Authors: Arvind Kumar Bansal
Categories: Computers
Type: BOOK - Published: 2013-12-14 - Publisher: CRC Press

GET EBOOK

In programming courses, using the different syntax of multiple languages, such as C++, Java, PHP, and Python, for the same abstraction often confuses students n
The Formal Semantics of Programming Languages
Language: en
Pages: 388
Authors: Glynn Winskel
Categories: Computers
Type: BOOK - Published: 1993-02-05 - Publisher: MIT Press

GET EBOOK

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logi
Practical Foundations for Programming Languages
Language: en
Pages: 513
Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2016-04-04 - Publisher: Cambridge University Press

GET EBOOK

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.