Articoli correlati a Semantics, Applications, and Implementation of Program...
Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings: 1924 - Brossura
Sinossi
This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Invited Talks.- Implementing Closed Domain-Specific Languages.- Refinements and Product Line Architectures.- Reasoning about Staged Computation.- Specialization of Systems Programs: Lessons and Perspectives.- Technical Papers.- Compiling Embedded Languages.- Lightweight and Generative Components II: Binary-Level Components.- Fragmental Specialization.- A New Termination Approach for Specialization.- Multi-stage Imperative Languages: A Conservative Extension Result.- Specification and Correctness of Lambda Lifting.- On Jones-Optimal Specialization for Strongly Typed Languages.- Position Papers.- Pragmatic Aspects of Reusable Program Generators Position Paper.- Type-Based Useless-Code Elimination for Functional Programs Position Paper.- Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW Position Paper.- Generating Data Analysis Programs from Statistical Models.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Semantics, Applications, and Implementation of Program...
Foto dell'editore
Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 - Proceedings
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. *Price HAS BEEN REDUCED by 10% until Monday, Aug. 25 (weekend SALE item)* 229 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB720048
Quantità: 1 disponibili
Immagini fornite dal venditore
Semantics, Applications, and Implementation of Program Generation
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers p. Codice articolo 4889054
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Semantics, Applications, and Implementation of Program Generation
Editore:
Springer Berlin Heidelberg Sep 2000, 2000
ISBN 10: 3540410546
ISBN 13: 9783540410546
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis. 244 pp. Englisch. Codice articolo 9783540410546
Quantità: 2 disponibili
Immagini fornite dal venditore
Semantics, Applications, and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
Editore:
Springer Berlin Heidelberg, 2000
ISBN 10: 3540410546
ISBN 13: 9783540410546
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis. Codice articolo 9783540410546
Quantità: 1 disponibili
Immagini fornite dal venditore
Semantics, Applications, and Implementation of Program Generation
ISBN 10: 3540410546
ISBN 13: 9783540410546
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis. 244 pp. Englisch. Codice articolo 9783540410546
Quantità: 2 disponibili
Immagini fornite dal venditore
Semantics, Applications, and Implementation of Program Generation : International Workshop, Saig 2000, Montreal, Canada, September 20, 2000 Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 915621-n
Quantità: Più di 20 disponibili
Foto dell'editore
Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 - Proceedings
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540410546_new
Quantità: Più di 20 disponibili
Foto dell'editore
Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 - Proceedings
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783540410546
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Semantics, Applications, and Implementation of Program Generation : International Workshop, Saig 2000, Montreal, Canada, September 20, 2000 Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 915621-n
Quantità: Più di 20 disponibili
Foto dell'editore
Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783540410546
Quantità: 10 disponibili