A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Design Wizards and Visual Programming Environments for GenVoca Generators
IEEE Transactions on Software Engineering
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Achieving extensibility through product-lines and domain-specific languages: a case study
ACM Transactions on Software Engineering and Methodology (TOSEM)
Access path selection in a relational database management system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
A Standard Problem for Evaluating Product-Line Methodologies
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Workshop on Generative Programming 2002 (GP2002)
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Refinements and multi-dimensional separation of concerns
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
IEEE Transactions on Software Engineering
A disciplined approach to aspect composition
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Evaluating support for features in advanced modularization technologies
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Highly configurable transaction management for embedded systems
Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software
Protocol Modeling with Model Program Composition
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A comparative study of techniques to write customizable libraries
Proceedings of the 2009 ACM symposium on Applied Computing
Flexible features: making feature modules more reusable
Proceedings of the 2009 ACM symposium on Applied Computing
ACM SIGSOFT Software Engineering Notes
Intensional changes: modularizing crosscutting features
Proceedings of the 2010 ACM Symposium on Applied Computing
Patching product line programs
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Delta-oriented programming of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Intensional changes avoid co-evolution!
Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution
Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation
Proceedings of the 2011 ACM Symposium on Applied Computing
abc: the aspectbench compiler for aspectJ
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Using java CSP solvers in the automated analyses of feature models
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Advanced modularity for building SPL feature models: a model-driven approach
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Subclack: feature-oriented programming with behavioral feature interfaces
Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance
FeatureIDE: An extensible framework for feature-oriented software development
Science of Computer Programming
| Hi-index | 0.00 |
Feature oriented programming (FOP) is the study of feature mod ularity and its use in program synthesis. AHEAD is a theory of FOP that is based on a fundamental concept of generative programming that functions map programs. This enables the design of programs to be expressed compo sitionally as algebraic expressions, which are suited for automated analysis, manipulation, and program synthesis. This paper is a tutorial on FOP and AHEAD. We review AHEAD's theory and the tool set that implements it.