Sinossi
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Practical Foundations for Programming Languages
Foto dell'editore
Practical Foundations for Programming Languages
Editore:
Cambridge University Press, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Antico o usato
Rilegato
Da: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. Codice articolo 00090929559
Compra usato
EUR 54,19
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Practical Foundations for Programming Languages
Editore:
Cambridge University Press (edition 2), 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Antico o usato
Rilegato
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. 2. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. Codice articolo 1107150302-11-1
Compra usato
EUR 54,20
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Practical Foundations for Programming Languages
Editore:
Cambridge University Press (edition 2), 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Nuovo
Rilegato
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. 2. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped. Codice articolo 1107150302-9-1
Compra nuovo
EUR 59,81
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Practical Foundations for Programming Languages
Da: Textbooks_Source, Columbia, MO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. 2nd Edition. Ships in a BOX from Central Missouri! Ships same or next business day. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Codice articolo 002016276N
Compra nuovo
EUR 58,92
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: 13 disponibili
Foto dell'editore
Practical Foundations for Programming Languages
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9781107150300
Compra nuovo
EUR 74,18
Spese di spedizione:
EUR 7,72
In U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Practical Foundations for Programming Languages
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 25210993-n
Compra nuovo
EUR 79,78
Spese di spedizione:
EUR 2,27
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Practical Foundations for Programming Languages
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar2317530267473
Compra nuovo
EUR 80,23
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Practical Foundations for Programming Languages
Editore:
Cambridge University Press, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Antico o usato
Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 25210993
Compra usato
EUR 84,12
Spese di spedizione:
EUR 2,27
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Practical Foundations for Programming Languages
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9781107150300_new
Compra nuovo
EUR 81,70
Spese di spedizione:
EUR 13,55
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Practical Foundations for Programming Languages (Hardcover)
Editore:
Cambridge University Press, Cambridge, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Nuovo
Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. 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. This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9781107150300
Compra nuovo
EUR 97,40
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili