Foundations of coloring algebra with consequences for feature-oriented programming

DOI10.1007/978-3-642-33314-9_3MaRDI QIDQ2915134zbMATH OpenOpenAlexFDO

Authors Peter Höfner, Bernhard Möller, Andreas Zelend

Publication date 21 September 2012

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://opus.bibliothek.uni-augsburg.de/opus4/files/2115/TR_2012_06.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Extended feature algebra
• An Algebra for Features and Feature Composition
• An algebraic foundation for automatic feature-based program synthesis
• scientific article; zbMATH DE number 2100581
• Feature-oriented programming: A new way of object composition

Cites work

• scientific article; zbMATH DE number 2033531 (Why is no real title available?)
• A Fundamental Theorem of Homomorphisms for Semirings
• Abstract delta modelling
• An Algebra for Features and Feature Composition
• An algebraic foundation for automatic feature-based program synthesis
• Foundations of coloring algebra with consequences for feature-oriented programming
• Sets of postulates for Boolean groups

Cited in

(6)

• Extended feature algebra
• An algebraic foundation for automatic feature-based program synthesis
• Compositional Feature-Oriented Systems
• Coloring terms to control equational reasoning
• An Algebra for Features and Feature Composition
• Foundations of coloring algebra with consequences for feature-oriented programming

Describes a project that uses

Uses Software

• Mace4
• Prover9

This page was built for publication: Foundations of coloring algebra with consequences for feature-oriented programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915134)