Excerpt from Type Determination for Very High Level Languages<br><br><br><br>About the Publisher<br><br>Forgotten Books publishes hundreds of thousands of rare and classic books.<br><br>This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. This text has been digitally restored from a historical edition. Some errors may persist, however we consider it worth publishing due to the work's historical value.<BR>The digital edition of all books may be viewed on our website before purchase.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Forgotten Books, London, Vereinigtes Königreich
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9781332207787_0
Anzahl: Mehr als 20 verfügbar
Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781332207787
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781332207787
Anzahl: 15 verfügbar
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Bestandsnummer des Verkäufers 26069112/1002
Anzahl: 1 verfügbar
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Bestandsnummer des Verkäufers 26069112/1
Anzahl: 2 verfügbar