Articles liés à Introduction to the Theory of Programming Languages
Synopsis
New, ship fast, delivered in 5 days No PO Box.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Biographie de l'auteur
Gilles Dowek is a Professor at École Polytechnique. He is also a Researcher at the Laboratoire d'Informatique de l'École 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 Lévy is a senior scientist at the Institut National de Recherche en Informatique et en Automatique and a Professor at École 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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2010
- ISBN 10 0857290754
- ISBN 13 9780857290755
- ReliureBroché
- Langueanglais
- Nombre de pages108
Acheter neuf
Afficher cet article
EUR 37,65
EUR 4,74 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour Introduction to the Theory of Programming Languages
Image d'archives
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Edité par
Springer, 2010
ISBN 10 : 0857290754
ISBN 13 : 9780857290755
Ancien ou d'occasion
Paperback
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N° de réf. du vendeur GOR013958304
Quantité disponible : 1 disponible(s)
Image d'archives
Introduction to the Theory of Programming Languages
Edité par
Springer London, Limited, 2010
ISBN 10 : 0857290754
ISBN 13 : 9780857290755
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur 49963572-6
Quantité disponible : 1 disponible(s)
Image d'archives
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780857290755_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Introduction to the Theory of Programming Languages
Edité par
Springer London, 2010
ISBN 10 : 0857290754
ISBN 13 : 9780857290755
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to think, design, and implement programming languages Proposes a unified vision of the different formalisms that permit definition of a programming language. N° de réf. du vendeur 5979235
Quantité disponible : Plus de 20 disponibles
Image d'archives
Introduction to the Theory of Programming Languages
Edité par
Springer London Ltd, 2010
ISBN 10 : 0857290754
ISBN 13 : 9780857290755
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 197. N° de réf. du vendeur C9780857290755
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Introduction to the Theory of Programming Languages
Edité par
SPRINGER NATURE Dez 2010, 2010
ISBN 10 : 0857290754
ISBN 13 : 9780857290755
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 96 pp. Englisch. N° de réf. du vendeur 9780857290755
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Introduction to the Theory of Programming Languages
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 arepresent 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. N° de réf. du vendeur 9780857290755
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Introduction to the Theory of Programming Languages (Paperback or Softback)
Edité par
Springer 12/15/2010, 2010
ISBN 10 : 0857290754
ISBN 13 : 9780857290755
Neuf
Paperback or Softback
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback or Softback. Etat : New. Introduction to the Theory of Programming Languages 0.36. Book. N° de réf. du vendeur BBS-9780857290755
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Introduction to the Theory of Programming Languages
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 10721810-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Introduction to the Theory of Programming Languages
Edité par
Springer, 2010
ISBN 10 : 0857290754
ISBN 13 : 9780857290755
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 10721810
Quantité disponible : Plus de 20 disponibles