Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)

3,14 valoración promedio
( 7 valoraciones por Goodreads )
 
9780262570954: Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)

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. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi.

Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises.

"Sinopsis" puede pertenecer a otra edición de este libro.

About the Author:

Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania.

Review:

Gunter's book treats the essence of programming language theory—the span between the 'meaning' of a computer program, and the concrete and intricate ways in which programs are executed by a machine. He brings together the established theoretical advances in this range. It is rewarding for someone who has played a small part in these developments to see them laid out so expertly, and with such pedagogic concern; readers new to the field -- and many who already know a lot about it -- will also be rewarded by following its carefully designed path.

(Robin Milner, University of Edinburgh)

Carl Gunter's Semantics of Programming Languages is a much-needed resource for students, researchers, and designers of programming languages. It is both broader and deeper than previous books on the semantics of programming languages, and it collects important research developments in a carefully organized, accessible form. Its balanced treatment of operational and denotational approaches, and its coverage of recent work in type theory are particularly welcome.

(David MacQueen, Head, Software Principles Department, AT&T Bell Laboratories, Murray Hill, New Jersey)

Semantics of Programming Languages by Carl Gunter, is an outstanding exposition of the mathematical definition of functional programming languages, and of the underlying theory of domains. It combines the clarity needed for an advanced textbook with a thoroughness that should make it a standard reference work.

(John C. Reynolds, Professor of Computer Science, Carnegie Mellon University)

Semantics of Programming Languages is a worthy successor to Stoy and Schmidt. It is an ideal way for researchers in programming languages and advanced graduate students to learn both modern semantics and category theory. I have used a very early draft of a few chapters with some success in an advanced graduate class at Iowa State University. I am glad that Professor Gunter has added more introductory material, and also more detail on type theory. The book has a balanced treatment of operational and fixed point semantics, which reflects the growing importance of operational semantics. The book has excellent pointers into the literature.

(Gary Leavens, Department of Computer Science, Iowa State University)

Carl Gunter's Semantics of Programming Languages is a readable and carefully worked out introduction to essential concepts underlying a mathematical study of programming languages. Topics include models of the lambda calculus, operational semantics, domains, full abstractions, and polymorphism. The tone, selection of material, and exercises are just right -- the reader experiences an appealing and rigorous, but not overwhelming, development of fundamental concepts.

(Neil D. Jones, Professor of DIKU (Computer Science Department), the University of Copenhagen)

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Gunter, Carl A.
Editorial: The MIT Press
ISBN 10: 0262570955 ISBN 13: 9780262570954
Nuevos PAPERBACK Cantidad: 1
Librería
CAMBRIDGE BOOKSTORE
(Brighton, MA, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press. PAPERBACK. Estado de conservación: New. 0262570955 NEW ~ Tight & Bright. Nº de ref. de la librería Z0262570955ZN

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 28,21
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,39
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Carl A. Gunter
ISBN 10: 0262570955 ISBN 13: 9780262570954
Nuevos Paperback Cantidad: 1
Librería
AMAZINGBOOKDEALS
(IRVING, TX, Estados Unidos de America)
Valoración
[?]

Descripción Paperback. Estado de conservación: BRAND NEW. BRAND NEW. Fast Shipping. Prompt Customer Service. Satisfaction guaranteed. Nº de ref. de la librería 0262570955BNA

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 43,70
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,39
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Carl A. Gunter
ISBN 10: 0262570955 ISBN 13: 9780262570954
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
BWB
(Valley Stream, NY, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. Nº de ref. de la librería POD_9780262570954

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 51,66
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Carl A. Gunter
Editorial: The MIT Press (1992)
ISBN 10: 0262570955 ISBN 13: 9780262570954
Nuevos Paperback Cantidad: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press, 1992. Paperback. Estado de conservación: New. Nº de ref. de la librería DADAX0262570955

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 48,41
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,39
A Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Carl A. Gunter
Editorial: The MIT Press (1992)
ISBN 10: 0262570955 ISBN 13: 9780262570954
Nuevos Paperback Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press, 1992. Paperback. Estado de conservación: New. book. Nº de ref. de la librería M0262570955

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 60,99
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Gunter, Carl A.
Editorial: The MIT Press (1992)
ISBN 10: 0262570955 ISBN 13: 9780262570954
Nuevos Paperback Cantidad: 2
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press, 1992. Paperback. Estado de conservación: New. Never used!. Nº de ref. de la librería P110262570955

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 60,25
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 1,69
A Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Carl A. Gunter
ISBN 10: 0262570955 ISBN 13: 9780262570954
Nuevos Cantidad: 1
Librería
Castle Rock
(Pittsford, NY, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: Brand New. Book Condition: Brand New. Nº de ref. de la librería 97802625709541.0

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 61,49
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,39
A Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Gunter, Carl A.
Editorial: The MIT Press
ISBN 10: 0262570955 ISBN 13: 9780262570954
Nuevos PAPERBACK Cantidad: 1
Librería
Cloud 9 Books
(Wellington, FL, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press. PAPERBACK. Estado de conservación: New. 0262570955 New Condition. Nº de ref. de la librería NEW6.0111833

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 61,32
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,24
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Carl A. Gunter
Editorial: The MIT Press (1992)
ISBN 10: 0262570955 ISBN 13: 9780262570954
Nuevos Paperback Cantidad: 1
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción The MIT Press, 1992. Paperback. Estado de conservación: Brand New. 441 pages. In Stock. Nº de ref. de la librería zk0262570955

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 61,86
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,57
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío