Full Abstraction and Semantic Equivalence (ACM Doctoral Dissertation Award)

0 avg rating
( 0 ratings by Goodreads )
 
9780262132275: Full Abstraction and Semantic Equivalence (ACM Doctoral Dissertation Award)

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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Ketan Mulmuley
Published by MIT Press
ISBN 10: 0262132273 ISBN 13: 9780262132275
Used Hardcover Quantity Available: 1
Seller:
ThriftBooks - Yankee Clipper
(Windsor Locks, CT, U.S.A.)
Rating
[?]

Book Description MIT Press. Hardcover. Book Condition: Good. Book shows a small amount of wear to cover and binding. Some pages show signs of use. Bookseller Inventory # G0262132273I3N00

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 12.98
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

Mulmuley, Ketan
Published by The MIT Press (1987)
ISBN 10: 0262132273 ISBN 13: 9780262132275
Used Hardcover Quantity Available: 1
Seller:
HPB-Ruby
(Dallas, TX, U.S.A.)
Rating
[?]

Book Description The MIT Press, 1987. Hardcover. Book Condition: Good. Item may show signs of shelf wear. Pages may include limited notes and highlighting. Includes supplemental or companion materials if applicable. Access codes may or may not work. Connecting readers since 1972. Customer service is our top priority. Bookseller Inventory # S_208635910

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 9.99
Convert Currency

Add to Basket

Shipping: US$ 3.00
Within U.S.A.
Destination, Rates & Speeds

3.

Mulmuley, Ketan
Published by MIT Press (1987)
ISBN 10: 0262132273 ISBN 13: 9780262132275
Used Hardcover Quantity Available: 1
Seller:
Early Republic Books
(Hopatcong, NJ, U.S.A.)
Rating
[?]

Book Description MIT Press, 1987. HB. Book Condition: G / NONE. G HARDBACK. EX-LIBRARY WITH TYPICAL MARKINGS. Bookseller Inventory # 88275

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 9.02
Convert Currency

Add to Basket

Shipping: US$ 4.50
Within U.S.A.
Destination, Rates & Speeds

4.

Ketan Mulmuley
Published by The MIT Press (1987)
ISBN 10: 0262132273 ISBN 13: 9780262132275
Used Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description The MIT Press, 1987. Hardcover. Book Condition: Used: Good. Bookseller Inventory # SONG0262132273

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 70.19
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

5.

Ketan Mulmuley
Published by The MIT Press (1987)
ISBN 10: 0262132273 ISBN 13: 9780262132275
Used Hardcover Quantity Available: 1
Seller:
Books Express
(Portsmouth, NH, U.S.A.)
Rating
[?]

Book Description The MIT Press, 1987. Hardcover. Book Condition: Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Bookseller Inventory # 0262132273

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 95.63
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds