|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 353 occurrences of 226 keywords
|
|
|
Results
Found 458 publication records. Showing 458 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson 0001 |
Synthesizing iterators from abstraction functions. |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jon Rafkind, Matthew Flatt |
Honu: syntactic extension for algebraic notation through enforestation. |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Huaxi (Yulin) Zhang, Lei Zhang 0200, Christelle Urtado, Sylvain Vauttier, Marianne Huchard |
A three-level component model in component based software development. |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hamid Bagheri, Kevin J. Sullivan |
Pol: specification-driven synthesis of architectural code frameworks for platform-based applications. |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Thüm, Ina Schaefer, Martin Hentschel 0002, Sven Apel |
Family-based deductive verification of software product lines. |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony |
Composing typemaps in Twig. |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Ryssel, Joern Ploennigs, Klaus Kabitzsch |
Reasoning of feature models from derived features. |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eric Walkingshaw, Martin Erwig |
A calculus for modeling and implementing variation. |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ferruccio Damiani, Luca Padovani, Ina Schaefer |
A formal foundation for dynamic delta-oriented software product lines. |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eyvind W. Axelsen, Stein Krogdahl |
Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code. |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John Freeman, Jaakko Järvi, Gabriel Foust |
HotDrink: a library for web user interfaces. |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Ostermann, Walter Binder (eds.) |
Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012 |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto |
Faster program adaptation through reward attribution inference. |
GPCE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse |
An inheritance system for structural & behavioral reuse in component-based software programming. |
GPCE |
2012 |
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 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 | 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 | 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 | Ricky T. Lindeman, Lennart C. L. Kats, Eelco Visser |
Declaratively defining domain-specific language debuggers. |
GPCE |
2011 |
DBLP DOI 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 | Márcio Ribeiro 0001, 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 Launchbury |
Theorem-based circuit derivation in cryptol. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Felleisen |
Multilingual component programming in racket. |
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 | Gary J. Shubert |
Application of model based development to flexible code generation. |
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 | Nathaniel Nystrom, Derek White, Kishen Das |
Firepile: run-time compilation for GPUs in scala. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy |
Pragmatics for formal semantics. |
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 | 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 | Marko Rosenmüller, Norbert Siegmund, Mario Pukall, Sven Apel |
Tailoring dynamic software product lines. |
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 | Kenichi Asai |
Reflection in direct style. |
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 | Don S. Batory, Peter Höfner, Jongwook Kim |
Feature interactions, products, and composition. |
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 | William Otte, Aniruddha S. Gokhale, Douglas C. Schmidt, Johnny Willemsen |
Infrastructure for component-based DDS application development. |
GPCE |
2011 |
DBLP DOI 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 | Dave Clarke 0001, Michiel Helvensteijn, Ina Schaefer |
Abstract delta modeling. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Lämmel |
The hitchhiker's guide to software languages. |
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 | Tiark Rompf, Martin Odersky |
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Erwig |
A language for software variation research. |
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 | Zoltán Porkoláb, Ábel Sinkovics |
Domain-specific language integration with compile-time parser generator library. |
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 | Sandro Schulze, Sven Apel, Christian Kästner |
Code clones in feature-oriented software product lines. |
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 | Mirko Bordignon, Ulrik Pagh Schultz, Kasper Støy |
Model-based kinematics generation for modular mechatronic toolkits. |
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 | Matthias P. Krieger, Alexander Knapp, Burkhart Wolff |
Automatic and efficient simulation of operation contracts. |
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 | Reinhard Wolfinger, Markus Löberbauer, Markus Jahn 0001, Hanspeter Mössenböck |
Adding genericity to a plug-in framework. |
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 | Weiyu Miao, Jeremy G. Siek |
Incremental type-checking for type-reflective metaprograms. |
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 | Éric Tanter, Philippe Moret, Walter Binder, Danilo Ansaloni |
Composition of dynamic analysis aspects. |
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 DOI BibTeX RDF |
|
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Stefan Wehr, Peter Thiemann 0001 |
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 | 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 | 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 DOI BibTeX RDF |
|
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 | 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 | 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 | Shumpei Akai, Shigeru Chiba |
Extending AspectJ for separating regions. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
synchronization, aspect-oriented programming, region, feature-oriented programming |
1 | Ronald Garcia, Andrew Lumsdaine |
Toward foundations for type-reflective metaprogramming. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
semantics, c++, reflection, metaprogramming |
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 | 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 | Jeremiah Willcock, Andrew Lumsdaine, Daniel J. Quinlan |
Reusable, generic program analyses and transformations. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
compiler optimization, generic 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki 0001, 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 | Andrew E. Fano |
Emerging challenges for large scale systems integration. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
software engineering, components, system integration |
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 | Ilie Savga, Michael Rudolf 0001, Sebastian Goetz, Uwe Aßmann |
Practical refactoring-based framework upgrade. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
adaptation, frameworks, refactoring, maintenance |
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 | 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 | 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 | 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 | 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 | 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 | Erik Meijer 0001 |
Fundamentalist functional programming. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
pure functional programming, concurrency, monads, lazy evaluation, linq |
Displaying result #201 - #300 of 458 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|