The concept of a supercompiler
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Deforestation: transforming programs to eliminate trees
Proceedings of the Second European Symposium on Programming
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
C: a language for high-level, efficient, and machine-independent dynamic code generation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Building domain-specific embedded languages
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
tcc: a system for fast, flexible, and high-level dynamic code generation
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Annotation-directed run-time specialization in C
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Using C++ template metaprograms
C++ gems
An Automatic Program Generator for Multi-Level Specialization
Lisp and Symbolic Computation
Portable profiling and tracing for parallel, scientific applications using C++
SPDT '98 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
Components and generative programming (invited paper)
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library
The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library
Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987
Selected Papers from the Internaltional Seminar on Partial Evaluation
Selected Papers from the Internaltional Seminar on Partial Evaluation
Generative Programming (GP) with C++
JMLC '97 Proceedings of the Joint Modular Languages Conference on Modular Programming Languages
Parital Computation of Programs
Proceedings of RIMS Symposium on Software Science and Engineering
Multi-Stage Programming: Axiomatization and Type Safety
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
A Uniform Approach for Compile-Time and Run-Time Specialization
Selected Papers from the Internaltional Seminar on Partial Evaluation
Mapping software architectures to efficient implementations via partial evaluation
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Incorporating application semantics and control into compilation
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Code composition as an implementation language for compilers
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Generative Programming: Methods, Techniques, and Applications
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Generic Implementation of Product Line Components
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Generating web applications from process models
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
Lifting a butterfly - A component-based FFT
Scientific Programming - POOSC '01 Workshop
Classifying variability modeling techniques
Information and Software Technology
The Future of Software Performance Engineering
FOSE '07 2007 Future of Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Explicit Dependence Metadata in an Active Visual Effects Library
Languages and Compilers for Parallel Computing
Implementation of a Finite State Machine with Active Libraries in C++
Generative and Transformational Techniques in Software Engineering II
Performance-driven stepwise refinement of component-based architectures
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems
Domain-specific language integration with compile-time parser generator library
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
MetaFJig: a meta-circular composition language for Java-like classes
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Bitstream processing for embedded systems using C++ metaprogramming
Proceedings of the Conference on Design, Automation and Test in Europe
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
DESOLA: An active linear algebra library using delayed evaluation and runtime code generation
Science of Computer Programming
Efficient run-time dispatching in generic programming with minimal code bloat
Science of Computer Programming
C++ metastring library and its applications
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Automatic library migration for the generation of hardware-in-the-loop models
Science of Computer Programming
Preprocessing eden with template haskell
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Compiler-enforced memory semantics in the SACLIB computer algebra library
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Model driven software development in the context of embedded component infrastructures
Component-Based Software Development for Embedded Systems
Using higher-order transformations to derive variability mechanism for embedded systems
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Model transformations in non-functional analysis
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Boost.SIMD: generic programming for portable SIMDization
Proceedings of the 21st international conference on Parallel architectures and compilation techniques
A meta-circular language for active libraries
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Enriching MATLAB with aspect-oriented features for developing embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
Boost.SIMD: generic programming for portable SIMDization
Proceedings of the 2014 Workshop on Programming models for SIMD/Vector processing
| Hi-index | 0.00 |
We describe generative programming, an approach to generating customized programming components or systems, and active libraries, which are based on this approach. In contrast to conventional libraries, active libraries may contain metaprograms that implement domain-specific code generation, optimizations, debugging, profiling and testing. Several working examples (Blitz++, GMCL, Xroma) are presented to illustrate the potential of active libraries. We discuss relevant implementation technologies