Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008536398/catalog> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- catalog abstract "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.".
- catalog alternative "SAIG 2000".
- catalog contributor b11941749.
- catalog contributor b11941750.
- catalog created "c2000.".
- catalog date "2000".
- catalog date "c2000.".
- catalog dateCopyrighted "c2000.".
- catalog description "Implementing closed domain-specific languages / Richard B. Kieburtz -- Refinements and product line architectures / Don Batory -- Reasoning about staged computation / Frank Pfenning -- Specialization of systems programs / Gilles Muller -- Compiling embedded languages/ Conal Elliott, Sigbjørn Finne, and Oege de Moor -- Lightweight and generative components II: binary-level components / Sam Kamin, Miranda Callahan, and Lars Clausen -- Fragmental specialization / Simon Helsen and Peter Thiemann -- A new termination approach for specialization / Litong Song and Yoshihiko Futamura -- Multi-stage imperative languages / Cristiano Calcagno and Eugenio Moggi -- Specification and correctness of lambda lifting / Adam Fischbach and John Hannan -- On Jones-optimal specialization for strongly typed languages / Henning Makholm -- Pragmatic aspects of reusable program generators / Norman Ramsey -- Type-based useless-code elimination for functional programs / Stefano Berardi [and others] -- Code generators for automatic tuning of numerical kernels: experiences with FFTW / Richard Vuduc and James W. Demmel -- Generating data analysis programs from statistical models / Bernd Fischer, Johann Schumann, and Tom Pressburger.".
- catalog description "Includes bibliographical references and index.".
- catalog description "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.".
- catalog extent "viii, 229 p. :".
- catalog identifier "3540410546 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1924".
- catalog issued "2000".
- catalog issued "c2000.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1 21".
- catalog subject "Computer programming Congresses.".
- catalog subject "Computer science.".
- catalog subject "Logic design.".
- catalog subject "QA76.6 .S245 2000".
- catalog subject "Software engineering.".
- catalog tableOfContents "Implementing closed domain-specific languages / Richard B. Kieburtz -- Refinements and product line architectures / Don Batory -- Reasoning about staged computation / Frank Pfenning -- Specialization of systems programs / Gilles Muller -- Compiling embedded languages/ Conal Elliott, Sigbjørn Finne, and Oege de Moor -- Lightweight and generative components II: binary-level components / Sam Kamin, Miranda Callahan, and Lars Clausen -- Fragmental specialization / Simon Helsen and Peter Thiemann -- A new termination approach for specialization / Litong Song and Yoshihiko Futamura -- Multi-stage imperative languages / Cristiano Calcagno and Eugenio Moggi -- Specification and correctness of lambda lifting / Adam Fischbach and John Hannan -- On Jones-optimal specialization for strongly typed languages / Henning Makholm -- Pragmatic aspects of reusable program generators / Norman Ramsey -- Type-based useless-code elimination for functional programs / Stefano Berardi [and others] -- Code generators for automatic tuning of numerical kernels: experiences with FFTW / Richard Vuduc and James W. Demmel -- Generating data analysis programs from statistical models / Bernd Fischer, Johann Schumann, and Tom Pressburger.".
- catalog title "SAIG 2000".
- catalog title "Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings / Walid Taha (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "Montréal (2000) swd".
- catalog type "text".