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)
Ver todas las copias de esta edición ISBN.
 
 

Book by Gunter Carl A

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

Críticas:

"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." Professor Robin Milner, University of Edinburgh

Reseña del editor:

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.

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

Los mejores resultados en AbeBooks

1.

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

Descripción The MIT Press. PAPERBACK. Condición: New. 0262570955 NEW ~ Tight & Bright. Nº de ref. del artículo: Z0262570955ZN

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 27,17
Convertir moneda

Añadir al carrito

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

2.

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

Descripción The MIT Press, 1992. Paperback. Condición: New. Nº de ref. del artículo: DADAX0262570955

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 48,72
Convertir moneda

Añadir al carrito

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

3.

Carl A. Gunter
Publicado por The MIT Press (1992)
ISBN 10: 0262570955 ISBN 13: 9780262570954
Nuevo Tapa blanda Cantidad disponible: 1
Librería
Irish Booksellers
(Portland, ME, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press, 1992. Condición: New. book. Nº de ref. del artículo: M0262570955

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 60,56
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
Publicado por The MIT Press (1992)
ISBN 10: 0262570955 ISBN 13: 9780262570954
Nuevo Paperback Cantidad disponible: 1
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción The MIT Press, 1992. Paperback. Condición: Brand New. 441 pages. In Stock. Nº de ref. del artículo: zk0262570955

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 64,49
Convertir moneda

Añadir al carrito

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

5.

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

Descripción The MIT Press, 1992. Paperback. Condición: New. Never used!. Nº de ref. del artículo: P110262570955

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 70,25
Convertir moneda

Añadir al carrito

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

6.

Carl A. Gunter
ISBN 10: 0262570955 ISBN 13: 9780262570954
Nuevo Cantidad disponible: 1
Librería
BennettBooksLtd
(San Diego, CA, Estados Unidos de America)
Valoración
[?]

Descripción Condición: New. New. Nº de ref. del artículo: S-0262570955

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 100,72
Convertir moneda

Añadir al carrito

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