Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming

DOI10.1007/978-3-642-33314-9_3zbMath1364.68137OpenAlexW178365807MaRDI QIDQ2915134

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

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

Related Items (1)

Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• An algebraic foundation for automatic feature-based program synthesis
• Sets of postulates for Boolean groups
• Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
• An Algebra for Features and Feature Composition
• A Fundamental Theorem of Homomorphisms for Semirings
• Abstract delta modelling

This page was built for publication: Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming