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

DOWNLOAD 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
Practical Foundations for Programming Languages
Language: en
Pages: 513
Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2016-04-04 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
Theories of Programming Languages
Language: en
Pages: 514
Authors: John C. Reynolds
Categories: Computers
Type: BOOK - Published: 1998-10-13 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming lan
Programming with Types
Language: en
Pages: 531
Authors: Vlad Riscutia
Categories: Computers
Type: BOOK - Published: 2019-10-31 - Publisher: Simon and Schuster

DOWNLOAD EBOOK

Summary Programming with Types teaches you to design safe, resilient, correct software that’s easy to maintain and understand by taking advantage of the power
Design Concepts in Programming Languages
Language: en
Pages: 1347
Authors: Franklyn Turbak
Categories: Computers
Type: BOOK - Published: 2008-07-18 - Publisher: MIT Press

DOWNLOAD EBOOK

Key ideas in programming language design and implementation explained using a simple and concise framework; a comprehensive introduction suitable for use as a t