Abstract is missing.
- Staging static analyses for program generationSam Kamin, Baris Aktemur, Michael Katelman. 1-10 [doi]
- A multi-stage language with intensional analysisMarcos Viera, Alberto Pardo. 11-20 [doi]
- Assimilating MetaBorg: : embedding language tools in languagesJonathan Riehl. 21-28 [doi]
- Creating custom containers with generative techniquesGabriel A. Moreno. 29-38 [doi]
- Safe component updatesAlexander Stuckenholz, Andre Osterloh. 39-48 [doi]
- Application-specific foreign-interface generationJohn H. Reppy, Chunyan Song. 49-58 [doi]
- When to use features and aspects?: a case studySven Apel, Don S. Batory. 59-68 [doi]
- A dynamic aspect-oriented system for OS kernelsYoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba. 69-78 [doi]
- Concurrent aspectsRémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt. 79-88 [doi]
- Transparent program transformationsin the presence of opaque codeEli Tilevich, Yannis Smaragdakis. 89-94 [doi]
- Towards an effective integrated reuse environmentJorge Cláudio Cordeiro Pires Mascena, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida, Vinicius Cardoso Garcia. 95-100 [doi]
- Expressing heap-shape contracts in linear logicFrances Perry, Limin Jia, David Walker. 101-110 [doi]
- A verified staged interpreter is a verified compilerEdwin Brady, Kevin Hammond. 111-120 [doi]
- A generic annotation inference algorithm for the safety certification of automatically generated codeEwen Denney, Bernd Fischer. 121-130 [doi]
- A graphical programming system for molecular motif searchJanina Reeder, Robert Giegerich. 131-140 [doi]
- Gaigen 2: a geometric algebra implementation generatorDaniel Fontijne. 141-150 [doi]
- Determining over- and under-constrained systems of equations using structural constraint deltaDavid Broman, Kaj Nyström, Peter Fritzson. 151-160 [doi]
- Software extension and integration with type classesRalf Lämmel, Klaus Ostermann. 161-170 [doi]
- Flexible and efficient measurement of dynamic bytecode metricsWalter Binder, Jarle Hulaas. 171-180 [doi]
- Patches as better bug reportsWestley Weimer. 181-190 [doi]
- Feature refactoring a multi-representation program into a product lineSalvador Trujillo, Don S. Batory, Oscar Díaz. 191-200 [doi]
- Refactoring product linesVander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena. 201-210 [doi]
- Verifying feature-based model templates against well-formedness OCL constraintsKrzysztof Czarnecki, Krzysztof Pietroszek. 211-220 [doi]
- Roadmap for enhanced languages and methods to aid verificationGary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump. 221-236 [doi]
- Semantic reasoning about feature composition via multiple aspect-weavingsChristian Prehofer. 237-242 [doi]
- Distributed meta-programmingRui Shi, Chiyan Chen, Hongwei Xi. 243-248 [doi]
- TCS: a DSL for the specification of textual concrete syntaxes in model engineeringFrédéric Jouault, Jean Bézivin, Ivan Kurtev. 249-254 [doi]
- Debugging C++ template metaprogramsZoltán Porkoláb, József Mihalicza, Ádám Sipos. 255-264 [doi]
- Stayin alert: moulding failure and exceptions to your needsAnya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg. 265-274 [doi]
- Reflective program generation with patternsManuel Fähndrich, Michael Carbin, James R. Larus. 275-284 [doi]
- YABS: a domain-specific language for pervasive computing based on stigmergyPeter Barron, Vinny Cahill. 285-294 [doi]