An algebraic foundation for automatic feature-based program synthesis
type: Item
instance of: scholarly article
title: An algebraic foundation for automatic feature-based program synthesis
zbMATH Open document ID: 1209.68129
author: Sven Apel
author: Christian Lengauer
author: Bernhard Möller
author: Christian Kästner
published in: Science of Computer Programming
publication date: 2010-08-26T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 5774993
zbMATH Keywords: feature-oriented software development
zbMATH Keywords: automatic feature-based program synthesis
zbMATH Keywords: architectural metaprogramming
zbMATH Keywords: feature structure tree
zbMATH Keywords: feature composition
zbMATH Keywords: superimposition
zbMATH Keywords: quantification
zbMATH Keywords: weaving
zbMATH Keywords: feature algebra
zbMATH Keywords: quark model
describes a project that uses: FeatureC++
describes a project that uses: AspectJ
describes a project that uses: CaesarJ
describes a project that uses: Tribe
describes a project that uses: Classbox/J
describes a project that uses: Jiazzi
describes a project that uses: AspectC++
MaRDI profile type: Publication
full work available at URL: j.scico.2010.02.001
OpenAlex ID: W2160885640
Wikidata QID: Q59562908
cites work: A calculus for reasoning about software composition
cites work: An Algebra for Features and Feature Composition
cites work: An Overview of CaesarJ
cites work: Algorithmic Aspects of Tree Amalgamation
cites work: An example of stepwise refinement of distributed programs: quiescence detection
cites work: A virtual class calculus
cites work: Q4229053
cites work: Q2779263
cites work: A type-theoretic interpretation of pointcuts and advice
cites work: Q2736362
cites work: A theory of aspects
cites work: Q3046757
DOI: 10.1016/J.SCICO.2010.02.001
description: scientific article; zbMATH DE number 5774993