Finite Map Spaces and Quarks : Algebras of Program Structure

  title={Finite Map Spaces and Quarks : Algebras of Program Structure},
  author={A. U.S.},
  • A. U.S.
  • Published 2007
We present two algebras that unify the disparate software composition models of Feature-Oriented Programming and Aspect-Oriented Programming. In one algebra, a finite map space underlies program synthesis, where adding finite maps and modifying their contents are fundamental operations. A second and more general algebra uses quarks, a construct that represents both expressions and their transformations. Special cases of our algebras correspond to existing systems and languages, and thus can… CONTINUE READING