|
|
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 | Todd L. Veldhuizen |
Parsimony principles for software components and metalanguages. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
|
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 |
1 | Florence Maraninchi, Tayeb Bouhadiba |
42: programmable models of computation for a component-based approach to heterogeneous embedded systems. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
semantics, models-of-computation, component-based design, heterogeneous embedded systems |
1 | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |
Oz/K: a kernel language for component-based open programming. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
open programming, locality, components |
1 | Markus Püschel |
Can we teach computers to write fast libraries? |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
parallelization, domain-specific language, automation, vectorization, high performance, fourier transform, matrix algebra, rewriting, program generation |
1 | Ilie Savga, Michael Rudolf 0001 |
Refactoring-based support for binary compatibility in evolving frameworks. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
frameworks, refactoring, software evolution, component-based systems, software adaptation |
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 | Joseph Gil, Keren Lenz |
Simple and safe SQL queries with c++ templates. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
structural type equivalence, template programming, databases, C++, domain specific languages, relational algebra, embedded languages |
1 | Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustrup |
Open multi-methods for c++. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
open-methods, object oriented programming, C++, generic programming, multiple dispatch, multi-methods |
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 | 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 | Victor L. Winter, Azamatbek Mametjanov |
Generative programming techniques for Java library migration. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
HATS, java Libraries, strategic programming, program transformation, TL |
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 | Martin Bravenboer, Eelco Dolstra, Eelco Visser |
Preventing injection attacks with syntax embeddings. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
injection attacks, stringborg, syntax embedding |
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 | 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 | Bran Selic |
Challenges in generating qos-constrained software implementations. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
model-driven development |
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 | 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 | 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 | Ryan Culpepper, Matthias Felleisen |
Debugging macros. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
|
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 | David Broman, Kaj Nyström, Peter Fritzson |
Determining over- and under-constrained systems of equations using structural constraint delta. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
equation-based, over-constrained, under-constrained, modeling, object-oriented, type checking, separate compilation |
1 | Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg |
Stayin' alert: : moulding failure and exceptions to your needs. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
alert reporting and handling, domain-specific exception language, abstraction, errors, separation of concerns, aspects, failure, partiality, guarding, mouldable programming |
1 | Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena |
Refactoring product lines. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
refactoring, software product lines, feature model |
1 | Frédéric Jouault, Jean Bézivin, Ivan Kurtev |
TCS: a DSL for the specification of textual concrete syntaxes in model engineering. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
model driven engineering, DSL, concrete syntax |
1 | Westley Weimer |
Patches as better bug reports. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
localization, error, explanation, patch, bug, counterexample, bug report |
1 | John H. Reppy, Chunyan Song |
Application-specific foreign-interface generation. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
foreign-interface generation, term rewriting |
1 | Janina Reeder, Robert Giegerich |
A graphical programming system for molecular motif search. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
dynamic programming, RNA structure |
1 | Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt |
Concurrent aspects. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
Java, concurrency, formal verification, aspect-oriented programming, implementation |
1 | Edwin C. Brady, Kevin Hammond |
A verified staged interpreter is a verified compiler. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming |
1 | Christian Prehofer |
Semantic reasoning about feature composition via multiple aspect-weavings. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
feature composition, semantic reasoning and refinement, aspect-oriented programming, feature interaction, feature-oriented programming, modular reasoning, aspect weaving |
1 | Alexander Stuckenholz, Andre Osterloh |
Safe component updates. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
Boolean optimization, component and system evolution, updates, component based software development, compatibility, system synthesis |
1 | Eli Tilevich, Yannis Smaragdakis |
Transparent program transformationsin the presence of opaque code. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
program enhancement, aspect-oriented programming, program transformation |
1 | Krzysztof Czarnecki 0001, Krzysztof Pietroszek |
Verifying feature-based model templates against well-formedness OCL constraints. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
model templates, UML, formal verification, model-driven development, software-product lines, configuration, OCL, feature modeling, feature interaction, metaprogramming |
1 | Ralf Lämmel, Klaus Ostermann |
Software extension and integration with type classes. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
family polymorphism, framework integration, object adapter, software extension, tyranny of the dominant decomposition, haskell, type classes, software integration, multiple dispatch, expression problem |
1 | Peter Barron, Vinny Cahill |
YABS: a domain-specific language for pervasive computing based on stigmergy. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
pervasive computing, stigmergy |
1 | Sven Apel, Don S. Batory |
When to use features and aspects?: a case study. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, software product lines, separation of concerns, feature-oriented programming, collaboration-based design, stepwise development, crosscutting |
1 | Rui Shi, Chiyan Chen, Hongwei Xi |
Distributed meta-programming. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
applied type system, distributed meta-programming, typeful code representation, ATS |
1 | Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba |
A dynamic aspect-oriented system for OS kernels. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
profiling and debugging, aspect-oriented programming, operating system, Linux, dynamic AOP |
1 | Zoltán Porkoláb, József Mihalicza, Ádám Sipos |
Debugging C++ template metaprograms. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
template metaprogramming, C++, debugging |
1 | Salvador Trujillo, Don S. Batory, Oscar Díaz |
Feature refactoring a multi-representation program into a product line. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
refinements, refactoring, software product lines, program synthesis, multiple representations, feature-oriented programming, AHEAD |
1 | Frances Perry, Limin Jia 0001, David Walker 0001 |
Expressing heap-shape contracts in linear logic. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
heap shape, contracts, linear logic, assertions |
1 | Walter Binder, Jarle Hulaas |
Flexible and efficient measurement of dynamic bytecode metrics. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
Java, aspect-oriented programming, program transformations, resource management, profiling, JVM, partial evaluation, component-based software engineering, bytecode instrumentation, dynamic metrics |
1 | Jorge Cláudio Cordeiro Pires Mascena, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida, Vinicius Cardoso Garcia |
Towards an effective integrated reuse environment. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
reuse metrics, information retrieval, software reuse |
1 | Marcos Viera, Alberto Pardo |
A multi-stage language with intensional analysis. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
intensional analysis, reflection, dynamics, multi-stage programming |
1 | Gabriel A. Moreno |
Creating custom containers with generative techniques. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
component, aspect-oriented programming, generative programming, container, meta-programming, AspectC++, non-functional concern |
1 | Sam Kamin, Baris Aktemur, Michael Katelman |
Staging static analyses for program generation. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
static analysis, program generation, staging, run-time code generation |
1 | Manuel Fähndrich, Michael Carbin, James R. Larus |
Reflective program generation with patterns. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
patterns, reflection, generative programming, templates |
1 | Stan Jarzabek, Douglas C. Schmidt, Todd L. Veldhuizen (eds.) |
Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings |
GPCE |
2006 |
DBLP BibTeX RDF |
|
1 | 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 0001, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump |
Roadmap for enhanced languages and methods to aid verification. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction |
1 | Daniel Fontijne |
Gaigen 2: a geometric algebra implementation generator. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
conformal model, profiling program transformation, synthesis from specification, object-oriented, geometric algebra |
1 | Ewen Denney, Bernd Fischer 0002 |
A generic annotation inference algorithm for the safety certification of automatically generated code. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
hoare calculus, logical annotations, program verification, automated theorem proving, software certification, automated code generation |
1 | Jonathan Riehl |
Assimilating MetaBorg: : embedding language tools in languages. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
MetaBorg, concrete syntax macros, extensible syntax, staged multi-language programming, self application, SDF, stratego |
1 | Baris Aktemur, Joel Jones, Samuel N. Kamin, Lars Clausen |
Optimizing Marshalling by Run-Time Program Generation. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Robert Glück, Michael R. Lowry (eds.) |
Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Saverio Perugini, Naren Ramakrishnan |
A Generative Programming Approach to Interactive Information Retrieval: Insights and Experiences. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy G. Siek, Andrew Lumsdaine |
Language Requirements for Large-Scale Generic Libraries. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Moss, Henk L. Muller |
Efficient Code Generation for a Domain Specific Language. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mónica Pinto, Daniel Jiménez, Lidia Fuentes |
Developing Dynamic and Adaptable Applications with CAM/DAOP: A Virtual Office Application. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Nierstrasz, Stéphane Ducasse, Serge Demeyer |
Object-Oriented Reengineering Patterns - An Overview. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Denney, Bernd Fischer 0002 |
Certifiable Program Generation. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Charles Consel, Fabien Latry, Laurent Réveillère, Pierre Cointe |
A Generative Programming Approach to Developing DSL Compilers. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Priebe |
Preprocessing Eden with Template Haskell. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Draheim, Christof Lutteroth, Gerald Weber |
A Type System for Reflective Program Generators. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sven Apel, Thomas Leich, Marko Rosenmüller, Gunter Saake |
FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Carette, Oleg Kiselyov |
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Samuel N. Kamin, Baris Aktemur, Philip Morton |
Source-Level Optimization of Run-Time Program Generators. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani |
Component-Oriented Programming with Sharing: Containment is Not Ownership. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Krister Åhlander |
Sorting Out the Relationships Between Pairs of Iterators, Values, and References. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami |
Model Compiler Construction Based on Aspect-Oriented Mechanisms. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Torben Æ. Mogensen |
Semi-inversion of Guarded Equations. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
abc: The AspectBench Compiler for AspectJ. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha |
Implicitly Heterogeneous Multi-stage Programming. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Zhen Yao, Qilong Zheng, Guoliang Chen 0001 |
AOP++: A Generic Aspect-Oriented Programming Framework in C++. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Alias, Denis Barthou |
On Domain-Specific Languages Reengineering. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martin Bravenboer, Rob Vermaas, Jurgen J. Vinju, Eelco Visser |
Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur |
Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Czarnecki 0001, Michal Antkiewicz |
Mapping Features to Models: A Template Approach Based on Superimposed Variants. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yang Jun, Stan Jarzabek |
Applying a Generative Technique for Enhanced Genericity and Maintainability on the J2EE Platform. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Éric Tanter, Jacques Noyé |
A Versatile Kernel for Multi-language AOP. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Statically Safe Program Generation with SafeGen. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Risto Pohjonen |
Metamodeling Made Easy - MetaEdit+ (Tool Demonstration). |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Culpepper, Scott Owens, Matthew Flatt |
Syntactic Abstraction in Component Interfaces. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pengcheng Wu, Karl J. Lieberherr |
Shadow Programming: Reasoning About Programs Using Lexical Join Point Information. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller |
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gabor Karsai, Eelco Visser (eds.) |
Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jia Liu, Don S. Batory |
Automatic Remodularization and Optimized Synthesis of Product-Families. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jernej Kovse, Christian Gebauer |
VS-Gen: A Case Study of a Product Line for Versioning Systems. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses |
Modular Language Descriptions. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Eugenio Moggi |
A Fresh Calculus for Name Management. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Douglas R. Smith |
A Generative Approach to Aspect-Oriented Programming. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Douence, Luc Teboul |
A Pointcut Language for Control-Flow. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Hauser, Jana Koehler |
Compiling Process Graphs into Executable Code. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Bonnet, Olivier Potonniée, Raphaël Marvie, Jean-Marc Geib |
A Model-Driven Approach for Smart Card Configuration. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Attila Vizhanyo, Aditya Agrawal, Feng Shi |
Towards Generation of Efficient Transformations. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ulrik Pagh Schultz |
A Unification of Inheritance and Automatic Program Specialization. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | István Zólyomi, Zoltán Porkoláb |
Towards a General Template Introspection Library. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Neverov, Paul Roe |
Metaphor: A Multi-stage, Object-Oriented Programming Language. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli |
A Generative Approach to the Implementation of Language Bindings for the Document Object Model. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 458 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|