|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese |
MetaKlaim: Meta-programming for Global Computing.  |
SAIG  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Sheard |
Accomplishments and Research Challenges in Meta-programming. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Johann |
Short Cut Fusion: Proved and Improved. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Taha (eds.) |
Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Asai |
Integrating Partial Evaluators into Interpreters. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Isao Sasano, Zhenjiang Hu, Masato Takeichi |
Generation of Efficient Programs for Solving Maximum Multi-marking Problems. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
Program Generation Rule, Maximum Marking Problem, Algorithm Synthesis, Functional Programming, Optimization Problem |
| 1 | Olivier Danvy, Bernd Grobauer, Morten Rhiger |
A Unifying Approach to Goal-Directed Evaluation. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand |
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph A. Herrmann, Christian Lengauer |
A Transformational Approach which Combines Size Inference and Program Optimization. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Damian, Olivier Danvy |
Static Transition Compression. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Czarnecki 0001 |
Generative Programming and Software System Families. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | William L. Harrison, Tim Sheard |
Dynamically Adaptable Software with Metacomputations in a Staged Language. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wakeling |
A Design Methodology for Functional Programs. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Conal Elliott, Sigbjørn Finne, Oege de Moor |
Compiling Embedded Languages. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard B. Kieburtz |
Implementing Closed Domain-Specific Languages. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini |
Type-Based Useless-Code Elimination for Functional Programs. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Eugenio Moggi |
Multi-Stage Imperative Languages: A Conservative Extension Result. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Ramsey |
Pragmatic Aspects of Reusable Program Generators. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Helsen, Peter Thiemann 0001 |
Fragmental Specialization. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rich Vuduc, James Demmel |
Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Taha (eds.) |
Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Fischer 0002, Johann Schumann, Thomas Pressburger |
Generating Data Analysis Programs from Statistical Models. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel N. Kamin, Miranda Callahan, Lars Clausen |
Lightweight and Generative Components 2: Binary-Level Components. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory |
Refinements and Product Line Architectures. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Pfenning |
Reasoning about Staged Computation. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Makholm |
On Jones-Optimal Specialization for Strongly Typed Languages. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Litong Song, Yoshihiko Futamura |
A New Termination Approach for Specialization. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Fischbach, John Hannan |
Specification and Correctness of Lambda Lifting. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Muller |
Specialization of Systems Programs: Lessons and Perspectives. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license