Walid Taha
Proceedings of the Second International Workshop on Semantics, Applications and Implementation of Program Generation
SAIG, 2001.
@proceedings{SAIG-2001,
address = "Florence, Italy",
editor = "Walid Taha",
isbn = "3-540-42558-6",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Proceedings of the Second International Workshop on Semantics, Applications and Implementation of Program Generation}",
volume = 2196,
year = 2001,
}
Contents (12 items)
- SAIG-2001-Czarnecki #generative #product line #programming
- Generative Programming and Software System Families (KC), p. 1.
- SAIG-2001-Sheard #challenge #metaprogramming #research
- Accomplishments and Research Challenges in Meta-programming (TS), pp. 2–44.
- SAIG-2001-Wand #aspect-oriented #programming #semantics
- A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming (MW), pp. 45–46.
- SAIG-2001-Johann
- Short Cut Fusion: Proved and Improved (PJ), pp. 47–71.
- SAIG-2001-SasanoHT #generative #multi #performance #problem #source code
- Generation of Efficient Programs for Solving Maximum Multi-marking Problems (IS, ZH, MT), pp. 72–91.
- SAIG-2001-DamianD
- Static Transition Compression (DD, OD), pp. 92–107.
- SAIG-2001-DanvyGR #approach #evaluation
- A Unifying Approach to Goal-Directed Evaluation (OD, BG, MR), pp. 108–125.
- SAIG-2001-Asai
- Integrating Partial Evaluators into Interpreters (KA), pp. 126–145.
- SAIG-2001-Wakeling #design #functional #source code
- A Design Methodology for Functional Programs (DW), pp. 146–162.
- SAIG-2001-HarrisonS #adaptation #staged
- Dynamically Adaptable Software with Metacomputations in a Staged Language (WLH, TS), pp. 163–182.
- SAIG-2001-FerrariMP #metaprogramming #named
- MetaKlaim: Meta-programming for Global Computing (GLF, EM, RP), pp. 183–198.
- SAIG-2001-HerrmannL #approach #optimisation
- A Transformational Approach which Combines Size Inference and Program Optimization (CAH, CL), pp. 199–218.