Introduction to the Theory of Programming Languages PDF ePub eBook

Books Info:

Introduction to the Theory of Programming Languages free pdf 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.

About Gilles Dowek

Gilles Dowek is a Professor at Ecole Polytechnique. He is also a Researcher at the Laboratoire d'Informatique de l'Ecole Polytechnique and the Institut National de Recherche en Informatique et en Automatique (INRIA). His research concerns the formalization of mathematics and the mechanization of reasoning. His main contribution is a reformulation of the axiomatic method which provides a central role to the notion of computation. Jean-Jacques Levy is a senior scientist at the Institut National de Recherche en Informatique et en Automatique and a Professor at Ecole Polytechnique. He has successively worked on operational and denotational semantics of programming languages, on reduction strategies in lambda-calculus and in rewrite systems, on the computer aided design of circuits and on the semantics of concurrency with applications to distribution and mobility.

Details Book

Author : Gilles Dowek
Publisher : Springer London Ltd
Data Published : 06 January 2011
ISBN : 0857290754
EAN : 9780857290755
Format Book : PDF, Epub, DOCx, TXT
Number of Pages : 110 pages
Age + : 15 years
Language : English
Rating :

Reviews Introduction to the Theory of Programming Languages



17 Comments Add a comment




Related eBooks Download


  • Semantics of Programming Languages  :  Structures and Techniques free pdfSemantics of Programming Languages : Structures and Techniques

    "Semantics of Programming Languages "exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems..


  • Beginning Programming with C For Dummies free pdfBeginning Programming with C For Dummies

    Learn the basics of programming with C with this fun and friendly guide. As the foundation of all programming languages. C offers you a reliable and strong foundation to programming and serves as a stepping stone upon which you can learn additional programming languages..


  • C   All-In-One for Dummies free pdfC All-In-One for Dummies

    Get ahead of the C curve to stay in the game

    C is the workhorse of programming languages and remains one of the most widely used programming languages today..


  • C   All-In-One for Dummies free pdfC All-In-One for Dummies

    Get ahead of the C curve to stay in the game

    C is the workhorse of programming languages and remains one of the most widely used programming languages today..


  • C   All-In-One for Dummies free pdfC All-In-One for Dummies

    Get ahead of the C curve to stay in the game

    C is the workhorse of programming languages and remains one of the most widely used programming languages today. It's cross-platform..


  • Introduction to the Theory of Programming Languages free pdfIntroduction to the Theory of Programming Languages

    . 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. "In