Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
Semantics, Applications, and Implementation of Program Generation

Semantics, Applications, and Implementation of Program Generation

International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 1924/2000
DOI10.1007/3-540-45350-4
Copyright2000
ISBN978-3-540-41054-6
Subject CollectionComputer Science
SpringerLink DateSunday, June 29, 2003
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
15 Chapters
Front Matter

Front MatterPDF (636.7 KB)

  
Chapter
Implementing Closed Domain-Specific Languages
Abstract of Invited Talk
Richard B. Kieburtz
DOI: 10.1007/3-540-45350-4_1
Full TextPDF (39.0 KB)
 1-2
Chapter
Refinements and Product Line Architectures
Abstract of Invited Talk
Don Batory
DOI: 10.1007/3-540-45350-4_2
Full TextPDF (42.5 KB)
 3-4
Chapter
Reasoning about Staged Computation
Abstract of Invited Talk
Frank Pfenning
DOI: 10.1007/3-540-45350-4_3
Full TextPDF (48.3 KB)
 5-6
Chapter
Specialization of Systems Programs: Lessons and Perspectives
Abstract of Invited Talk
Gilles Muller
DOI: 10.1007/3-540-45350-4_4
Full TextPDF (45.8 KB)
 7-8
Chapter
Compiling Embedded Languages
Conal Elliott, Sigbjørn Finne and Oege de Moor
DOI: 10.1007/3-540-45350-4_5
Full TextPDF (218.7 KB)
 9-26
Chapter
Lightweight and Generative Components II: Binary-Level Components
Sam Kamin, Miranda Callahan and Lars Clausen
DOI: 10.1007/3-540-45350-4_6
Full TextPDF (218.8 KB)
 28-49
Chapter
Fragmental Specialization
Simon Helsen and Peter Thiemann
DOI: 10.1007/3-540-45350-4_7
Full TextPDF (236.6 KB)
 51-71
Chapter
A New Termination Approach for Specialization
Litong Song and Yoshihiko Futamura
DOI: 10.1007/3-540-45350-4_8
Full TextPDF (173.2 KB)
 72-91
Chapter
Multi-stage Imperative Languages: A Conservative Extension Result
Cristiano Calcagno and Eugenio Moggi1
DOI: 10.1007/3-540-45350-4_9
Full TextPDF (224.1 KB)
 92-107
Chapter
Specification and Correctness of Lambda Lifting
Adam Fischbach and John Hannan
DOI: 10.1007/3-540-45350-4_10
Full TextPDF (241.8 KB)
 108-128
Chapter
On Jones-Optimal Specialization for Strongly Typed Languages
Henning Makholm
DOI: 10.1007/3-540-45350-4_11
Full TextPDF (248.1 KB)
 129-148
Chapter
Pragmatic Aspects of Reusable Program Generators Position Paper
Norman Ramsey
DOI: 10.1007/3-540-45350-4_12
Full TextPDF (252.5 KB)
 149-171
Chapter
Type-Based Useless-Code Elimination for Functional Programs Position Paper
Stefano Berardi, Mario Coppo, Ferruccio Damiani and Paola Giannini
DOI: 10.1007/3-540-45350-4_13
Full TextPDF (254.1 KB)
 172-189
Chapter
Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW Position Paper
Richard Vuduc and James W. Demmel
DOI: 10.1007/3-540-45350-4_14
Full TextPDF (409.3 KB)
 190-211
Chapter
Generating Data Analysis Programs from Statistical Models
Position Paper
Bernd Fischer, Johann Schumann and Tom Pressburger
DOI: 10.1007/3-540-45350-4_15
Full TextPDF (277.2 KB)
 212-229
Back Matter

Back MatterPDF (22.9 KB)

  
15 Chapters
more options
Find


Starts With
15 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.106 • Server: mpweb23
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)