SAIG - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2001

Integrating Partial Evaluators into InterpretersKenichi Asai. saig 2001: 126-145 [doi]

Generative Programming and Software System FamiliesKrzysztof Czarnecki. saig 2001: 1 [doi]

Static Transition CompressionDaniel Damian, Olivier Danvy. saig 2001: 92-107 [doi]

A Unifying Approach to Goal-Directed EvaluationOlivier Danvy, Bernd Grobauer, Morten Rhiger. saig 2001: 108-125 [doi]

MetaKlaim: Meta-programming for Global ComputingGian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese. saig 2001: 183-198 [doi]

Dynamically Adaptable Software with Metacomputations in a Staged LanguageWilliam L. Harrison, Tim Sheard. saig 2001: 163-182 [doi]

A Transformational Approach which Combines Size Inference and Program OptimizationChristoph A. Herrmann, Christian Lengauer. saig 2001: 199-218 [doi]

Short Cut Fusion: Proved and ImprovedPatricia Johann. saig 2001: 47-71 [doi]

Generation of Efficient Programs for Solving Maximum Multi-marking ProblemsIsao Sasano, Zhenjiang Hu, Masato Takeichi. saig 2001: 72-91 [doi]

Accomplishments and Research Challenges in Meta-programmingTim Sheard. saig 2001: 2-44 [doi]

Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, ProceedingsWalid Taha, editor, Volume 2196 of Lecture Notes in Computer Science, Springer, 2001.

A Design Methodology for Functional ProgramsDavid Wakeling. saig 2001: 146-162 [doi]

A Semantics for Advice and Dynamic Join Points in Aspect-Oriented ProgrammingMitchell Wand. saig 2001: 45-46 [doi]

2000

Refinements and Product Line ArchitecturesDon S. Batory. saig 2000: 3-4 [doi]

Type-Based Useless-Code Elimination for Functional ProgramsStefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini. saig 2000: 172-189 [doi]

Multi-Stage Imperative Languages: A Conservative Extension ResultCristiano Calcagno, Eugenio Moggi. saig 2000: 92-107 [doi]

Compiling Embedded LanguagesConal Elliott, Sigbjorn Finne, Oege de Moor. saig 2000: 9-27 [doi]

Specification and Correctness of Lambda LiftingAdam Fischbach, John Hannan. saig 2000: 108-128 [doi]

Generating Data Analysis Programs from Statistical ModelsBernd Fischer, Johann Schumann, Thomas Pressburger. saig 2000: 212-229 [doi]

Fragmental SpecializationSimon Helsen, Peter Thiemann. saig 2000: 51-71 [doi]

Lightweight and Generative Components 2: Binary-Level ComponentsSamuel N. Kamin, Miranda Callahan, Lars Clausen. saig 2000: 28-50 [doi]

Implementing Closed Domain-Specific LanguagesRichard B. Kieburtz. saig 2000: 1-2 [doi]

On Jones-Optimal Specialization for Strongly Typed LanguagesHenning Makholm. saig 2000: 129-148 [doi]

Specialization of Systems Programs: Lessons and PerspectivesGilles Muller. saig 2000: 7-8 [doi]

Reasoning about Staged ComputationFrank Pfenning. saig 2000: 5-6 [doi]

Pragmatic Aspects of Reusable Program GeneratorsNorman Ramsey. saig 2000: 149-171 [doi]

A New Termination Approach for SpecializationLitong Song, Yoshihiko Futamura. saig 2000: 72-91 [doi]

Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, ProceedingsWalid Taha, editor, Volume 1924 of Lecture Notes in Computer Science, Springer, 2000.

Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTWRich Vuduc, James Demmel. saig 2000: 190-211 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

SAIG (saig)

Viewing Publication 1 - 29 from 29

2001

2000

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

SAIG (saig)

Viewing Publication 1 - 29 from 29

2001

2000

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1