Articoli correlati a Two-Level Functional Languages: 34
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.
Compra nuovo
Visualizza questo articolo
EUR 83,58
GRATIS per la spedizione in U.S.A.
Destinazione, tempi e costi
Risultati della ricerca per Two-Level Functional Languages: 34
Foto dell'editore
Two-Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. Two-Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 7719-9780521403849
Quantità: 1 disponibili
Foto dell'editore
Two-Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 6545-9780521403849
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: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo E-853-979
Quantità: 1 disponibili
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
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
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
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
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
Quantità: 1 disponibili
Foto dell'editore
Two-Level Functional Languages
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 311 4 Illus. Codice articolo 7412562
Quantità: 1 disponibili
Foto dell'editore
Two-Level Functional Languages
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 311. Codice articolo 18435335
Quantità: 1 disponibili