Order Total (1 Item Items):
Shipping Destination:
Type Determination High Level by Tenenbaum Aaron (7 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (7)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (5)
- As New, Fine or Near Fine (1)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (1)
- Not Print on Demand (6)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Type Determination for Very High Level Languages (Classic Reprint)
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Type Determination for Very High Level Languages Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
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, speeding 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.
-
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
