An algebraic foundation for automatic feature-based program synthesis

DOI10.1016/j.scico.2010.02.001zbMath1209.68129WikidataQ59562908 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

quantification; quark model; weaving; superimposition; architectural metaprogramming; automatic feature-based program synthesis; feature algebra; feature composition; feature structure tree; feature-oriented software development

Mathematics Subject Classification ID

68N99: Theory of software

Related Items

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

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