Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Condition: As New. Unread book in perfect condition.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Seller: Forgotten Books, London, United Kingdom
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.
Language: English
Published by Creative Media Partners, LLC Sep 2015, 2015
ISBN 10: 1342219074 ISBN 13: 9781342219077
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Neuware - This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Seller: Buchpark, Trebbin, Germany
Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 180.