Artículos relacionados a Semantics of Programming Languages: Structures and...
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) - Tapa blanda
Sinopsis
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.
- EditorialMIT Press
- Año de publicación1992
- ISBN 10 0262570955
- ISBN 13 9780262570954
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas444
Comprar nuevo
Ver este artículo
EUR 73,77
EUR 11,89 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Semantics of Programming Languages: Structures and...
Imagen de archivo
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Publicado por
MIT Press, 1992
ISBN 10: 0262570955
ISBN 13: 9780262570954
Antiguo o usado
Tapa blanda
Librería: SecondSale, Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Nº de ref. del artículo: 00029859862
Cantidad disponible: 1 disponibles
Imagen de archivo
Semantics of Programming Languages: Structures and Techniques
Publicado por
The MIT Press, 1992
ISBN 10: 0262570955
ISBN 13: 9780262570954
Antiguo o usado
Tapa blanda
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9780262570954. Nº de ref. del artículo: 8984459
Gastos de envío:
EUR 15,32
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 441 pages. 9.25x7.50x1.00 inches. In Stock. Nº de ref. del artículo: 0262570955
Gastos de envío:
EUR 11,89
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Librería: dsmbooks, Liverpool, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. New. book. Nº de ref. del artículo: D8S0-3-M-0262570955-6
Gastos de envío:
EUR 29,73
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles