Foundations of coloring algebra with consequences for feature-oriented programming

DOI10.1007/978-3-642-33314-9_3zbMATH Open1364.68137OpenAlexW178365807MaRDI QIDQ2915134FDOQ2915134

Bernhard Möller, Peter Höfner, 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)

Cites Work

• Title not available (Why is that?)
• A Fundamental Theorem of Homomorphisms for Semirings
• An algebraic foundation for automatic feature-based program synthesis
• An Algebra for Features and Feature Composition
• Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
• Sets of postulates for Boolean groups
• Abstract delta modelling

Cited In (2)

• Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
• Coloring terms to control equational reasoning

Uses Software

• Prover9
• Mace4

   Recommendations

• Extended feature algebra 👍 👎
• An Algebra for Features and Feature Composition 👍 👎
• An algebraic foundation for automatic feature-based program synthesis 👍 👎
• Title not available (Why is that?) 👍 👎
• Feature-oriented programming: A new way of object composition 👍 👎

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)