An algebraic foundation for automatic feature-based program synthesis

DOI10.1016/j.scico.2010.02.001zbMath1209.68129OpenAlexW2160885640WikidataQ59562908 ScholiaQ59562908MaRDI QIDQ988187

Sven Apel, Christian Lengauer, Christian Kästner, Bernhard Möller

Publication date: 26 August 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2010.02.001

zbMATH Keywords

quantificationquark modelweavingsuperimpositionarchitectural metaprogrammingautomatic feature-based program synthesisfeature algebrafeature compositionfeature structure treefeature-oriented software development

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (6)

Extended feature algebra ⋮ Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming ⋮ Multifunctional software systems: Structured modeling and specification of functional requirements ⋮ On the weaving process of aspect-oriented product family algebra ⋮ Abstract delta modelling ⋮ Structured Document Algebra in Action

Uses Software

• AspectJ
• AspectC++
• Tribe
• FeatureC++
• CaesarJ
• Classbox/J
• Jiazzi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A type-theoretic interpretation of pointcuts and advice
• A calculus for reasoning about software composition
• An Overview of CaesarJ
• An example of stepwise refinement of distributed programs: quiescence detection
• Algorithmic Aspects of Tree Amalgamation
• A theory of aspects
• A virtual class calculus
• An Algebra for Features and Feature Composition

This page was built for publication: An algebraic foundation for automatic feature-based program synthesis