From implementation to theory in product synthesis

Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based product synthesis can be unified by applying elementary ideas from category theory. Doing so reveals (a) important and previously unrecognized properties that product synthesis tools must satisfy, and (b) non-obvious generalizations of current techniques that will guide future research efforts in automated product development.

• Type: Conference
• Year: 2007
• Where: POPL
• Authors: Don S. Batory
• Keywords: Future Research Efforts, Future Software Development, POPL 2007, Product Synthesis, Programming Languages