Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Dowek, Gilles; Lévy, Jean-Jacques
ISBN 10: 0857290754 ISBN 13: 9780857290755
Editorial: Springer, 2010
Nuevos
Encuadernación de tapa blanda
Librería:
Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 25 de marzo de 2015
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
In. N° de ref. del artículo ria9780857290755_new
Sinopsis:
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.
Acerca del autor: 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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Introduction to the Theory of Programming ...
Editorial: Springer
Año de publicación: 2010
Encuadernación: Encuadernación de tapa blanda
Condición: New
Los mejores resultados en AbeBooks
Imagen de archivo
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: 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 ref. del artículo: GOR013958304
Cantidad disponible: 1 disponibles
Imagen de archivo
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_351920944
Cantidad disponible: 1 disponibles
Imagen de archivo
Introduction to the Theory of Programming Languages
Publicado por
Springer London, Limited, 2010
ISBN 10: 0857290754
ISBN 13: 9780857290755
Antiguo o usado
Tapa blanda
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 49963572-6
Cantidad disponible: 1 disponibles
Imagen del vendedor
Introduction to the Theory of Programming Languages
Publicado por
Springer London, 2010
ISBN 10: 0857290754
ISBN 13: 9780857290755
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Kartoniert / Broschiert. Condición: 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 ref. del artículo: 5979235
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Introduction to the Theory of Programming Languages
Publicado por
SPRINGER NATURE Dez 2010, 2010
ISBN 10: 0857290754
ISBN 13: 9780857290755
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9780857290755
Cantidad disponible: 2 disponibles
Imagen del vendedor
Introduction to the Theory of Programming Languages
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 10721810-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Introduction to the Theory of Programming Languages
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 10721810
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar2317530013092
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Introduction to the Theory of Programming Languages
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 10721810-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Introduction to the Theory of Programming Languages
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9780857290755
Cantidad disponible: 2 disponibles