Articoli correlati a Full Abstraction and Semantic Equivalence
Sinossi
Full Abstraction and Semantic Equivalence demonstrates an original theory that uses the same inclusive predicates to show semantic equivalence and to construct fully abstract, extensional submodels.
Previous general techniques for proving semantic equivalence, through the construction of inclusive predicates, have foundered due to their complexity and the lack of any counter-examples. In this book, Mulmuley has been able to construct a counterexample through diagonalization; moreover, he has discovered a technique to prove semantic equivalences that has the advantage of being mechanizable. This system, called Inclusive Predicate Logic (IPL), can almost automatically prove the existence of most of the inclusive predicates which arise in practice.
Mulmuley also demonstrates that one can construct a fully abstract algebraic model of typed lambda calculus which is a submodel of the classical model, if the classical model is based on complete lattices. Beyond this, the book shows that theory can extend to the case of a language that has reflexive (recursively defined) types-as do most of the "real" programming languages.
Contents: Introduction to Domain Theory. The Problem of Inclusive Predicate Existence. Fully Abstract Submodels of Typed Lambda Calculi. Fully Abstract Submodels in the Presence of Reflexive Types. A Mechanizable Theory for Existence Proofs. IPL Implementation. Conclusion.
Ketan Mulmuley is a Miller Fellow in the Department of Electrical Engineering and Computer Science at the University of California, Berkeley. Full Abstraction and Semantic Equivalence is a winner of the 1986 ACM Doctoral Dissertation Award.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Mulmuley Ketan
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: quasi ottimoAncien livre de bibliothèque. Légères...
Visualizza questo articolo
EUR 3,00
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costiRisultati della ricerca per Full Abstraction and Semantic Equivalence
Foto dell'editore
Full Abstraction and Semantic Equivalence
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-596-236
Quantità: 1 disponibili
Foto dell'editore
Full Abstraction and Semantic Equivalence
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-731-991
Quantità: 1 disponibili
Foto dell'editore
Full Abstraction and Semantic Equivalence
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.32. Codice articolo G0262132273I3N00
Quantità: 1 disponibili
Foto dell'editore
Full Abstraction and Semantic Equivalence
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Fine. 198 pp., hardcover, tips slightly rubbed, else fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB1297526
Quantità: 1 disponibili
Immagini fornite dal venditore
Full Abstraction and Semantic Equivalence
Editore:
MIT Press 01.04.1987., 1987
ISBN 10: 0262132273
ISBN 13: 9780262132275
Antico o usato
Rilegato
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. 150 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 22,9 x 17,8 x 2,5 cm, Gebundene Ausgabe. Codice articolo 368163
Quantità: 1 disponibili
Foto dell'editore
Full Abstraction and Semantic Equivalence
Da: Dave Wilhelm Books, Evanston, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Pictorial Hardcover. Condizione: Very Good. No Jacket. Solid VG condition. Codice articolo 11375
Quantità: 1 disponibili