Artículos relacionados a Practical Foundations for Programming Languages
Sinopsis
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Robert Harper is a professor in the computer science department at Carnegie Mellon University, Pennsylvania. His main research interest is in the application of type theory to the design and implementation of programming languages and to the mechanization of their meta-theory. Harper is a recipient of the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excellence, and is an Association for Computing Machinery Fellow.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialCambridge University Press
- Año de publicación2016
- ISBN 10 1107150302
- ISBN 13 9781107150300
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de edición2
- Número de páginas512
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 87,63
EUR 4,66 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Practical Foundations for Programming Languages
Imagen del vendedor
Practical foundations for programming languages - Robert Harper
Librería: ChouetteCoop, Kervignac, Francia
Calificación del vendedor: 5 de 5 estrellas
Condición: Used: Good. Occasion - Bon Etat - Practical foundations for programming languages (2016) - Grand Format. Nº de ref. del artículo: 2941445
Cantidad disponible: 1 disponibles
Imagen de archivo
Practical Foundations for Programming Languages
Publicado por
Cambridge University Press, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Nuevo
Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781107150300_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Practical Foundations for Programming Languages
Publicado por
Cambridge University Press, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Nuevo
Tapa dura
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: 25210993-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Practical Foundations for Programming Languages
Impresión bajo demandaLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 550 pages. 9.00x7.00x1.00 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __1107150302
Cantidad disponible: 1 disponibles
Imagen del vendedor
Practical Foundations for Programming Languages
Publicado por
Cambridge University Press, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Antiguo o usado
Tapa dura
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: 25210993
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Practical Foundations for Programming Languages
Publicado por
Cambridge University Press, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Nuevo
Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1100. Nº de ref. del artículo: C9781107150300
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Practical Foundations for Programming Languages
Publicado por
Cambridge University Press, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Nuevo
Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 25210993-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Practical Foundations for Programming Languages
Publicado por
Cambridge University Press CUP, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Nuevo
Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 550. Nº de ref. del artículo: 26374579870
Cantidad disponible: 1 disponibles
Imagen de archivo
Practical Foundations for Programming Languages
Publicado por
Cambridge University Press, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Nuevo
Tapa dura
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 550. Nº de ref. del artículo: 371465537
Cantidad disponible: 1 disponibles
Imagen del vendedor
Practical Foundations for Programming Languages
Publicado por
Cambridge University Press, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Antiguo o usado
Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 25210993
Cantidad disponible: Más de 20 disponibles