Verlag: Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Sprache: Englisch
Anbieter: Ammareal, Morangis, Frankreich
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Cambridge University Press, 2005
ISBN 10: 0521018471 ISBN 13: 9780521018470
Sprache: Englisch
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
EUR 56,30
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9780521018470.
Verlag: Cambridge University Press, 2005
ISBN 10: 0521018471 ISBN 13: 9780521018470
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 63,51
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Sprache: Englisch
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Verlag: Cambridge University Press, 2008
Sprache: Englisch
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Paperback. Zustand: Wie neu. 312 S. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 610.
Verlag: Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Sprache: Englisch
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
gebundene Ausgabe. Zustand: Sehr gut. Cambridge Tracts in Theoretical Computer Science, Band 34. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 299 Seiten, Englisch 710g.
Verlag: Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 85,46
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 311 4 Illus.
Verlag: Cambridge University Press, 2005
ISBN 10: 0521018471 ISBN 13: 9780521018470
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently, the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of 'parametrized semantics' is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose, it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalizes Wadler's analysis for lists. It is also shown how the results of abstract interpretation may be used to improve the code generation.
Verlag: Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 147,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 201,08
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 311 pages. 10.25x7.25x0.75 inches. In Stock.
Verlag: Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus, in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of 'parametrized semantics' is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose; it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalises Wadler's analysis for lists.