| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nathaniel Nystrom, Derek White, Kishen Das |
Firepile: run-time compilation for GPUs in scala.  |
GPCE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yulin Li, Gordon S. Novak Jr. |
Generation of geometric programs specified by diagrams. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Rosenmüller, Norbert Siegmund, Mario Pukall, Sven Apel |
Tailoring dynamic software product lines. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Peter Höfner, Jongwook Kim |
Feature interactions, products, and composition. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann |
Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba |
Investigating the safe evolution of software product lines. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Sobernig, Patrick Gaubatz, Mark Strembeck, Uwe Zdun |
Comparing complexity of API designs: an exploratory experiment on DSL-based framework integration. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | William Otte, Aniruddha S. Gokhale, Douglas C. Schmidt, Johnny Willemsen |
Infrastructure for component-based DDS application development. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Steck, Alex Lotz, Christian Schlegel |
Model-driven engineering and run-time model-usage in service robotics. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricky T. Lindeman, Lennart C. L. Kats, Eelco Visser |
Declaratively defining domain-specific language debuggers. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel |
Static analysis of aspect interaction and composition in component models. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Launchbury |
Theorem-based circuit derivation in cryptol. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | B. J. Arnoldus, M. G. J. van den Brand, Alexander Serebrenik |
Less is more: unparser-completeness of metalanguages for template engines. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewen Denney, Ulrik Pagh Schultz (eds.) |
Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011 |
GPCE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser |
Growing a language environment with editor libraries. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahram Esmaeilsabzali, Bernd Fischer 0002, Joanne M. Atlee |
Monitoring aspects for the customization of automatically generated code for big-step models. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand, Sérgio Soares |
On the impact of feature dependencies when maintaining preprocessor-based software product lines. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Freeman, Jaakko Järvi, Wonseok Kim, Mat Marcus, Sean Parent |
Helping programmers help users. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Daniël Vermolen, Guido Wachsmuth, Eelco Visser |
Generating database migrations for evolving web applications. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary J. Shubert |
Application of model based development to flexible code generation. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Asai |
Reflection in direct style. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen |
Multilingual component programming in racket. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Pragmatics for formal semantics. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Wolfinger, Markus Löberbauer, Markus Jahn, Hanspeter Mössenböck |
Adding genericity to a plug-in framework. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Lämmel |
The hitchhiker's guide to software languages. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Würthinger, Walter Binder, Danilo Ansaloni, Philippe Moret, Hanspeter Mössenböck |
Applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Tanter, Philippe Moret, Walter Binder, Danilo Ansaloni |
Composition of dynamic analysis aspects. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias P. Krieger, Alexander Knapp, Burkhart Wolff |
Automatic and efficient simulation of operation contracts. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Ryssel, Joern Ploennigs, Klaus Kabitzsch |
Automatic variation-point identification in function-block-based models. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eelco Visser, Jaakko Järvi (eds.) |
Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010 |
GPCE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yuheng Long, Sean L. Mooney, Tyler Sondag, Hridesh Rajan |
Implicit invocation meets safe, implicit concurrency. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan F. Navas, Jean-Philippe Babau, Jacques Pulou |
A component-based run-time evolution infrastructure for resource-constrained embedded systems. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandro Schulze, Sven Apel, Christian Kästner |
Code clones in feature-oriented software product lines. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra |
Iterative type inference with attribute grammars. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiark Rompf, Martin Odersky |
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Atkinson, Matthew Flatt, Gary Lindstrom |
ABI compatibility through a customizable language. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Erwig |
A language for software variation research. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Bordignon, Ulrik Pagh Schultz, Kasper Støy |
Model-based kinematics generation for modular mechatronic toolkits. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neville Grech, Julian Rathke, Bernd Fischer 0002 |
JEqualityGen: generating equality and hashing methods. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Porkoláb, Ábel Sinkovics |
Domain-specific language integration with compile-time parser generator library. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Hofer, Klaus Ostermann |
Modular domain-specific language components in scala. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke, Michiel Helvensteijn, Ina Schaefer |
Abstract delta modeling. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio Sincero, Reinhard Tartler, Daniel Lohmann, Wolfgang Schröder-Preikschat |
Efficient extraction and analysis of preprocessor-based variability. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiyu Miao, Jeremy G. Siek |
Incremental type-checking for type-reflective metaprograms. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kästner, Sven Apel, Martin Kuhlemann |
A model of refactoring physically and virtually separated features. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
CIDE, FeatureHouse, refinements, software product lines, separation of concerns, preprocessor, AHEAD |
| 1 | S. Hossein Sadat-Mohtasham, H. James Hoover |
Transactional pointcuts: designation reification and advice of interrelated join points. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
transactional pointcut, aspect-oriented programming, join point model |
| 1 | Martin Kuhlemann, Don S. Batory, Christian Kästner |
Safe composition of non-monotonic features. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
safe composition, refactoring, feature-oriented programming, AHEAD |
| 1 | Phil McGachey, Antony L. Hosking, J. Eliot B. Moss |
Classifying Java class transformations for pervasive virtualized access. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
java, program transformation, object model |
| 1 | Damien Cassou, Benjamin Bertran, Nicolas Loriant, Charles Consel |
A generative programming approach to developing pervasive computing systems. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
pervasive computing, generative programming, DSL |
| 1 | Stefan Wehr, Peter Thiemann |
JavaGI in the battlefield: practical experience with generalized interfaces. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
JavaGI, external methods, retroactive interface implementation, case studies, multimethods |
| 1 | Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende, Marcel Böhme |
Generating safe template languages. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
safe authoring, template language, generative programming, language extension |
| 1 | Anya Helene Bagge, Valentin David, Magne Haveraaen |
The axioms strike back: testing with concepts and axioms in C++. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
axiom-based testing, C++, program transformation, test generation, generative programming, unit testing, algebraic specification, concepts, axioms, mouldable programming, C++0x |
| 1 | Soonho Kong, Wontae Choi, Kwangkeun Yi |
Abstract parsing for two-staged languages with concatenation. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
multi-staged languages, program analysis, abstract interpretation, parsing |
| 1 | Shumpei Akai, Shigeru Chiba |
Extending AspectJ for separating regions. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
synchronization, aspect-oriented programming, region, feature-oriented programming |
| 1 | Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith |
Algorithms for user interfaces. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
user interfaces, software reuse, component software, declarative specifications, constraint systems |
| 1 | Ansgar Radermacher, Arnaud Cuccuru, Sébastien Gérard, François Terrier |
Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
middleware, model-driven engineering, component models, connectors, MARTE |
| 1 | Rishiyur S. Nikhil |
Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design). |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
bluespec systemverilog, bsv, energy efficient computing, fpga, high level synthesis, high performance computing, haskell, hardware accelerators, hardware/software codesign, term rewriting systems, hybrid computing |
| 1 | James R. Cordy |
Eating our own dog food: DSLs for generative and transformational engineering. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
source transformation systems, domain-specific languages, model driven engineering, generative programming |
| 1 | Jeremy G. Siek, Bernd Fischer 0002 (eds.) |
Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings |
GPCE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Frans Sanen, Eddy Truyen, Wouter Joosen |
Mapping problem-space to solution-space features: a feature interaction approach. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
DLV, configuration knowledge, distributed runtime adaptation, problem-solution feature interactions, software product line engineering, default logic |
| 1 | Alex Villazón, Walter Binder, Danilo Ansaloni, Philippe Moret |
HotWave: creating adaptive tools with dynamic aspect-oriented programming in Java. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
code hotswapping, runtime weaving, profiling, java virtual machine, AspectJ, bytecode instrumentation, dynamic aspect-oriented programming |
| 1 | Jeremiah Willcock, Andrew Lumsdaine, Daniel J. Quinlan |
Reusable, generic program analyses and transformations. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
compiler optimization, generic programming |
| 1 | Alex Villazón, Walter Binder, Danilo Ansaloni, Philippe Moret |
Advanced runtime adaptation for Java. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
code hotswapping, runtime aspect adaptation and (re)weaving, java virtual machine, AspectJ, bytecode instrumentation, dynamic aspect-oriented programming |
| 1 | Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller |
A language and framework for invariant-driven transformations. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
runtime invariant checking, program transformation, invariants, program optimization, incremental maintenance |
| 1 | Ronald Garcia, Andrew Lumsdaine |
Toward foundations for type-reflective metaprogramming. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
semantics, c++, reflection, metaprogramming |
| 1 | Srinivas Nedunuri, William R. Cook |
Synthesis of fast programs for maximum segment sum problems. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
segment-sum problems, algorithms, formal methods, branch-and-bound, program synthesis |
| 1 | Tetsuo Kamina, Tetsuo Tamai |
Lightweight dependent classes. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
class-based languages, dependent classes, mutually recursive extensions, generics, type safety |
| 1 | Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors |
Polymorphic embedding of dsls. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
pure embedding, domain-specific languages, extensibility, compositionality, algebraic semantics, scala |
| 1 | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |
Typing communicating component assemblages. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
assemblage error, component types, process types, type interference, components, type system, communication systems |
| 1 | Chang Hwan Peter Kim, Christian Kästner, Don S. Batory |
On the modularity of feature interactions. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
lifters, safe composition, feature interactions, derivatives, feature oriented software development |
| 1 | Vinay Kulkarni, Sreedhar Reddy |
An abstraction for reusable MDD components: model-based generation of model-based code generators. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
reuse, model-driven development, meta models, generative programming |
| 1 | Sven Apel, Christian Kästner, Don S. Batory |
Program refactoring using functional aspects. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented refactoring, functional aspects, pseudo-commutativity, stepwise refinement, aspect interactions |
| 1 | Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall |
Pantaxou: a domain-specific language for developing safe coordination services. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
distributed systems, safety, domain-specific languages, architecture description languages, coordination languages |
| 1 | Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith |
Property models: from incidental algorithms to reusable components. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
user interfaces, software reuse, component software, declarative specifications, constraint systems |
| 1 | Ewen Denney, Bernd Fischer 0002 |
Generating customized verifiers for automatically generated code. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
logical annotations, program verification, automated theorem proving, hoare logic, software certification, automated code generation |
| 1 | Andrew Fano |
Emerging challenges for large scale systems integration. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
software engineering, components, system integration |
| 1 | Ilie Savga, Michael Rudolf, Sebastian Goetz, Uwe Aßmann |
Practical refactoring-based framework upgrade. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
adaptation, frameworks, refactoring, maintenance |
| 1 | Yannis Smaragdakis, Jeremy G. Siek (eds.) |
Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings |
GPCE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ye Zhang 0002, Torben Amtoft, Flemming Nielson |
From generic to specific: off-line optimization for a general constraint solver. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
off-line optimization, solver technology, constraints, program analysis, datalog, unification |
| 1 | Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki, Donald D. Cowan |
Efficient compilation techniques for large scale feature models. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
formal verification, model-driven development, software-product lines, configuration, feature modeling |
| 1 | Marko Rosenmüller, Norbert Siegmund, Gunter Saake, Sven Apel |
Code generation to support static and dynamic composition of software product lines. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
dynamic feature binding, static feature binding, software product lines, feature-oriented programming |
| 1 | Don S. Batory |
Using modern mathematics as an FOSD modeling language. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
commuting diagrams, software product lines, features, geodesics, model driven design |
| 1 | Erik Meijer |
Fundamentalist functional programming. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
pure functional programming, concurrency, monads, lazy evaluation, linq |
| 1 | Sven Apel, Christian Kästner, Christian Lengauer |
Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
safe feature composition, type systems, stepwise refinement, feature-oriented programming, featherweight java |
| 1 | Tom Rothamel, Yanhong A. Liu |
Generating incremental implementations of object-set queries. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
automatic incrementalization, query constructs, program optimization |
| 1 | Peter Gottschling, Andrew Lumsdaine |
Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
semantic verification, optimization, c++, concepts, loop unrolling, semantic properties |
| 1 | Miguel A. Laguna, Bruno González-Baixauli, José M. Marqués |
Seamless development of software product lines. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
package merge, seamless development, software product lines, feature model |
| 1 | Jaakko Järvi, Matthew A. Marcus, Jacob N. Smith |
Library composition and adaptation using c++ concepts. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
C++, polymorphism, generic programming, software libraries |
| 1 | Charles Consel, Julia L. Lawall (eds.) |
Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings |
GPCE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Todd L. Veldhuizen |
Parsimony principles for software components and metalanguages. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Culpepper, Matthias Felleisen |
Debugging macros. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuo Kamina, Tetsuo Tamai |
Lightweight scalable components. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
FGJ, pamily polymorphism, scalable java, type parameter members, parametric polymorphism |
| 1 | Pascal Fradet, Stéphane Hong Tuan Ha |
Aspects of availability. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, resource management, availability, timed automata, denial of service, weaving |
| 1 | Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander |
Constructing language processors with algebra combinators. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
modular monadic semantics, meta-programming |
| 1 | Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook |
Safe composition of product lines. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
compositional programming, features, product lines, SAT solvers |
| 1 | Bran Selic |
Challenges in generating qos-constrained software implementations. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
model-driven development |
| 1 | Eric Van Wyk, August Schwerdfeger |
Context-aware scanning for parsing extensible languages. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
context-aware scanning, extensible languages |
| 1 | Jeroen Arnoldus, Jeanot Bijpost, Mark van den Brand |
Repleo: a syntax-safe template engine. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
ASF+SDF, concrete object syntax, repleo, syntax safety, code generators, templates, meta programming |
| 1 | Georg Jung, John Hatcliff |
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
CADENA, component oriented development, type system, CALM |
| 1 | Salvador Trujillo, Maider Azanza, Oscar Díaz |
Generative metaprogramming. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
feature oriented model-driven development, generative metaprogramming, software product lines, generative programming, metaprogramming |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")