Articoli correlati a Two Level Functional Languages
Two Level Functional Languages - Brossura
Libro 39 di 40: Cambridge Tracts in Theoretical Computer Science
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Descrizione del libro
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.
Contenuti
1. Introduction; 2. Types made explicit; 3. Binding-time made explicit; 4. Combinators made explicit; 5. Parametrized semantics; 6. Code generation; 7. Abstract interpretation; 8. Conclusions; Bibliography; Summary of transformation functions; Index.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Two Level Functional Languages
Foto dell'editore
Two Level Functional Languages. (=Cambridge Tracts in Theoretical Computer Science; Vol. 34).
Editore:
Cambridge University Press, 2008
ISBN 10: 0521018471
ISBN 13: 9780521018470
Antico o usato
Paperback
Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Wie neu. 312 S. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 610. Codice articolo 818117
Compra usato
EUR 12,50
Spedizione EUR 20,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780521018470
Compra nuovo
EUR 70,95
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Two Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Editore:
Cambridge University Press, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Antico o usato
Brossura
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 3718239
Compra usato
EUR 57,53
Spedizione EUR 15,83
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Two-Level Functional Languages
Editore:
Cambridge University Press, GB, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Nuovo
Paperback
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. 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. Codice articolo LU-9780521018470
Compra nuovo
EUR 78,10
Spedizione gratuita
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Two-Level Functional Languages
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 312 Illus. Codice articolo 8374322
Compra nuovo
EUR 75,11
Spedizione EUR 7,57
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521018470_new
Compra nuovo
EUR 70,73
Spedizione EUR 13,94
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: 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. . . . . Codice articolo V9780521018470
Compra nuovo
EUR 75,98
Spedizione EUR 9,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Two-Level Functional Languages
Editore:
Cambridge University Press CUP, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 312. Codice articolo 26554989
Compra nuovo
EUR 82,22
Spedizione EUR 3,44
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Two-Level Functional Languages
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 312. Codice articolo 18554983
Compra nuovo
EUR 76,95
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Two-Level Functional Languages
Editore:
Cambridge University Press, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780521018470
Compra nuovo
EUR 82,23
Spedizione EUR 18,68
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili