Two Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, 34, Band 34) - Softcover
Buch 39 von 40: Cambridge Tracts in Theoretical Computer Science
Inhaltsangabe
This book provides a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Two Level Functional Languages (Cambridge Tracts in...
Beispielbild für diese ISBN
Two Level Functional Languages. (=Cambridge Tracts in Theoretical Computer Science; Vol. 34).
Verlag:
Cambridge University Press, 2008
ISBN 10: 0521018471
ISBN 13: 9780521018470
Gebraucht
Paperback
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Wie neu. 312 S. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 610. Bestandsnummer des Verkäufers 818117
Gebraucht kaufen
EUR 12,50
EUR 20,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Two-Level Functional Languages (Paperback)
Verlag:
Cambridge University Press, Cambridge, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Neu
Paperback
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. It is also shown how the results of abstract interpretation may be used to improve the code generation.The work is both an exposition and synthesis of recent research and as such will be valuable to research workers and graduate students working in formal methods and functional languages. The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9780521018470
Beispielbild für diese ISBN
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9780521018470
Neu kaufen
EUR 70,66
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Two Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Verlag:
Cambridge University Press, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Gebraucht
Softcover
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 3718239
Gebraucht kaufen
EUR 57,04
EUR 15,69 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521018470_new
Neu kaufen
EUR 66,47
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Two-Level Functional Languages
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 311 pages. 9.40x6.50x0.70 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521018471
Neu kaufen
EUR 68,83
EUR 11,54 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Two-Level Functional Languages
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 312 Illus. Bestandsnummer des Verkäufers 8374322
Neu kaufen
EUR 74,54
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Two-Level Functional Languages
Verlag:
Cambridge University Press CUP, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Neu
Softcover
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 312. Bestandsnummer des Verkäufers 26554989
Neu kaufen
EUR 81,88
EUR 3,42 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Two-Level Functional Languages
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 312. Bestandsnummer des Verkäufers 18554983
Neu kaufen
EUR 75,88
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This book provides a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 312 pages, 4 b/w illus. 35 tables. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 17. Weight in Grams: 500. . 2008. Pbk Version ed. paperback. . . . . Bestandsnummer des Verkäufers V9780521018470
Neu kaufen
EUR 75,98
EUR 10,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: Mehr als 20 verfügbar