Type Determination High Level by Tenenbaum Aaron (7 results)
- Softcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
£ 24.23
Free ShippingShips within U.S.A.Quantity: 15 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 22.05
£ 4.16 shippingShips from United Kingdom to U.S.A.Quantity: 15 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Hardcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
£ 32.44
Free ShippingShips within U.S.A.Quantity: 15 available
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 29.04
£ 4.16 shippingShips from United Kingdom to U.S.A.Quantity: 15 available
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
More images- Softcover
- Print on Demand
Seller: Forgotten Books, London, United KingdomForgotten Books
Contact seller4-star sellerCondition: New
£ 15.24
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. Print on Demand. This book presents two novel methods of type determination for very high-level programming languages. These methods allow the compiler to determine the types of runtime objects during compilation. This eliminates the need for dynamic type determination at program execution time, speedi…ng up the execution of such programs. The first method determines object types from the way these objects are defined, while the second determines object types from the way in which they are used. The theoretical bases of the two methods lie in the construction and analysis of a type lattice to represent the types of objects and in the use of monotone functions on the partially ordered sets represented by such lattices. The second method is employed only after the first since the first method is sufficient for many programming situations. The combination of the two methods can effectively reduce the range of types which can be assigned to the various objects of a program. The resulting type information can then be used during compile-time checking to assure that objects are used only in ways compatible with their types. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 15.60
£ 89.97 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used
£ 16.11
£ 89.97 shippingShips from Germany to U.S.A.Quantity: 2 available
Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
