Foundations of coloring algebra with consequences for feature-oriented programming

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

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

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

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 (5)

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

Uses Software

• Prover9
• Mace4

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)