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.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Two-Level Functional Languages: 34
Foto dell'editore
TWO-LEVEL FUNCTIONAL LANGUAGES (CAMBRIDGE TRACTS IN THEORETICAL COMPUTER SCIENCE)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-98120
Compra nuovo
EUR 85,18
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Two-Level Functional Languages (Cambridge Tracts In Theoretical Computer Science)
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo ABNR-186593
Compra nuovo
EUR 85,18
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Two-Level Functional Languages
Editore:
Cambridge University Press CUP, 1992
ISBN 10: 0521403847
ISBN 13: 9780521403849
Nuovo
Rilegato
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 311. Codice articolo 26435341
Compra nuovo
EUR 83,89
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Two-Level Functional Languages
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 311 4 Illus. Codice articolo 7412562
Compra nuovo
EUR 87,49
Spese di spedizione:
EUR 7,44
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Da: ALLBOOKS1, Direk, SA, Australia
Valutazione del venditore 5 su 5 stelle
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Codice articolo SHAK98120
Compra nuovo
EUR 95,51
Spese di spedizione:
GRATIS
Da: Australia a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Two-Level Functional Languages
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 311. Codice articolo 18435335
Compra nuovo
EUR 87,94
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Two-Level Functional Languages.
Editore:
Cambridge University Press, 1992
ISBN 10: 0521403847
ISBN 13: 9780521403849
Antico o usato
Rilegato
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
gebundene Ausgabe. Condizione: Sehr gut. Cambridge Tracts in Theoretical Computer Science, Band 34. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 299 Seiten, Englisch 710g. Codice articolo 492636
Compra usato
EUR 54,00
Spese di spedizione:
EUR 49,90
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190001789
Compra nuovo
EUR 135,00
Spese di spedizione:
EUR 3,43
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)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780521403849
Compra nuovo
EUR 152,16
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Two-Level Functional Languages (Hardcover)
Editore:
Cambridge University Press, Cambridge, 1992
ISBN 10: 0521403847
ISBN 13: 9780521403849
Nuovo
Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780521403849
Compra nuovo
EUR 161,73
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili