|
|
Conferences in DBLP
- Sam Kamin, Baris Aktemur, Michael Katelman
Staging static analyses for program generation. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:1-10 [Conf]
- Marcos Viera, Alberto Pardo
A multi-stage language with intensional analysis. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:11-20 [Conf]
- Jonathan Riehl
Assimilating MetaBorg: : embedding language tools in languages. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:21-28 [Conf]
- Gabriel A. Moreno
Creating custom containers with generative techniques. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:29-38 [Conf]
- Alexander Stuckenholz, Andre Osterloh
Safe component updates. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:39-48 [Conf]
- John H. Reppy, Chunyan Song
Application-specific foreign-interface generation. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:49-58 [Conf]
- Sven Apel, Don S. Batory
When to use features and aspects?: a case study. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:59-68 [Conf]
- Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba
A dynamic aspect-oriented system for OS kernels. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:69-78 [Conf]
- Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt
Concurrent aspects. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:79-88 [Conf]
- Eli Tilevich, Yannis Smaragdakis
Transparent program transformationsin the presence of opaque code. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:89-94 [Conf]
- Jorge Cláudio Cordeiro Pires Mascena, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida, Vinicius Cardoso Garcia
Towards an effective integrated reuse environment. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:95-100 [Conf]
- Frances Perry, Limin Jia, David Walker
Expressing heap-shape contracts in linear logic. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:101-110 [Conf]
- Edwin Brady, Kevin Hammond
A verified staged interpreter is a verified compiler. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:111-120 [Conf]
- Ewen Denney, Bernd Fischer
A generic annotation inference algorithm for the safety certification of automatically generated code. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:121-130 [Conf]
- Janina Reeder, Robert Giegerich
A graphical programming system for molecular motif search. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:131-140 [Conf]
- Daniel Fontijne
Gaigen 2: a geometric algebra implementation generator. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:141-150 [Conf]
- David Broman, Kaj Nyström, Peter Fritzson
Determining over- and under-constrained systems of equations using structural constraint delta. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:151-160 [Conf]
- Ralf Lämmel, Klaus Ostermann
Software extension and integration with type classes. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:161-170 [Conf]
- Walter Binder, Jarle Hulaas
Flexible and efficient measurement of dynamic bytecode metrics. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:171-180 [Conf]
- Westley Weimer
Patches as better bug reports. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:181-190 [Conf]
- Salvador Trujillo, Don S. Batory, Oscar Díaz
Feature refactoring a multi-representation program into a product line. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:191-200 [Conf]
- Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena
Refactoring product lines. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:201-210 [Conf]
- Krzysztof Czarnecki, Krzysztof Pietroszek
Verifying feature-based model templates against well-formedness OCL constraints. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:211-220 [Conf]
- Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael 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
Roadmap for enhanced languages and methods to aid verification. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:221-236 [Conf]
- Christian Prehofer
Semantic reasoning about feature composition via multiple aspect-weavings. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:237-242 [Conf]
- Rui Shi, Chiyan Chen, Hongwei Xi
Distributed meta-programming. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:243-248 [Conf]
- Frédéric Jouault, Jean Bézivin, Ivan Kurtev
TCS: a DSL for the specification of textual concrete syntaxes in model engineering. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:249-254 [Conf]
- Zoltán Porkoláb, József Mihalicza, Ádám Sipos
Debugging C++ template metaprograms. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:255-264 [Conf]
- Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg
Stayin' alert: : moulding failure and exceptions to your needs. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:265-274 [Conf]
- Manuel Fähndrich, Michael Carbin, James R. Larus
Reflective program generation with patterns. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:275-284 [Conf]
- Peter Barron, Vinny Cahill
YABS: a domain-specific language for pervasive computing based on stigmergy. [Citation Graph (0, 0)][DBLP]
GPCE, 2006, pp:285-294 [Conf]
|
