GPCE B

32 papers

YearTitle / Authors
2006A dynamic aspect-oriented system for OS kernels.
Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba
2006A generic annotation inference algorithm for the safety certification of automatically generated code.
Ewen Denney, Bernd Fischer
2006A graphical programming system for molecular motif search.
Janina Reeder, Robert Giegerich
2006A multi-stage language with intensional analysis.
Marcos Viera, Alberto Pardo
2006A verified staged interpreter is a verified compiler.
Edwin C. Brady, Kevin Hammond
2006Application-specific foreign-interface generation.
John H. Reppy, Chunyan Song
2006Assimilating MetaBorg: : embedding language tools in languages.
Jonathan Riehl
2006Concurrent aspects.
Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt
2006Creating custom containers with generative techniques.
Gabriel A. Moreno
2006Debugging C++ template metaprograms.
Zoltán Porkoláb, József Mihalicza, Ádám Sipos
2006Determining over- and under-constrained systems of equations using structural constraint delta.
David Broman, Kaj Nyström, Peter Fritzson
2006Distributed meta-programming.
Rui Shi, Chiyan Chen, Hongwei Xi
2006Expressing heap-shape contracts in linear logic.
Frances Perry, Limin Jia, David Walker
2006Feature refactoring a multi-representation program into a product line.
Salvador Trujillo, Don S. Batory, Oscar Díaz
2006Flexible and efficient measurement of dynamic bytecode metrics.
Walter Binder, Jarle Hulaas
2006Gaigen 2: a geometric algebra implementation generator.
Daniel Fontijne
2006Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings
Stan Jarzabek, Douglas C. Schmidt, Todd L. Veldhuizen
2006Patches as better bug reports.
Westley Weimer
2006Refactoring product lines.
Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena
2006Reflective program generation with patterns.
Manuel Fähndrich, Michael Carbin, James R. Larus
2006Roadmap for enhanced languages and methods to aid verification.
Gary 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
2006Safe component updates.
Alexander Stuckenholz, Andre Osterloh
2006Semantic reasoning about feature composition via multiple aspect-weavings.
Christian Prehofer
2006Software extension and integration with type classes.
Ralf Lämmel, Klaus Ostermann
2006Staging static analyses for program generation.
Sam Kamin, Baris Aktemur, Michael Katelman
2006Stayin' alert: : moulding failure and exceptions to your needs.
Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg
2006TCS: a DSL for the specification of textual concrete syntaxes in model engineering.
Frédéric Jouault, Jean Bézivin, Ivan Kurtev
2006Towards an effective integrated reuse environment.
Jorge Cláudio Cordeiro Pires Mascena, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida, Vinicius Cardoso Garcia
2006Transparent program transformationsin the presence of opaque code.
Eli Tilevich, Yannis Smaragdakis
2006Verifying feature-based model templates against well-formedness OCL constraints.
Krzysztof Czarnecki, Krzysztof Pietroszek
2006When to use features and aspects?: a case study.
Sven Apel, Don S. Batory
2006YABS: a domain-specific language for pervasive computing based on stigmergy.
Peter Barron, Vinny Cahill