Batory SoD Project Nugget

1
Batory SoD Project Nugget
B
Synthesis Geometries in Category Theory

• Project began with mathematical model of feature
  interactions
• Lead us to simple, elegant descriptions of
  program design in category theory, the theory
  of mathematical structures and their
  relationships.
• Generality program refactorings, feature- and
  aspect-based program synthesis,
• and model-driven design can be unified
  programs are values, transformations
• map programs to programs, and operators map
  transformations to transformations
• Category theory is foundation of this world
• Science of Design in automated program
  development maintenance is really the
  Science of Structure and structure manipulation
• POPL07 and ETAPS CC07 keynotes, ICSE05,
  ICSE06, ETAPS07 papers