Program synthesis is the derivation of a program from a specification. When the synthesis is done according to semantically correct TransformationRules the resulting ...

SpecWare is a ProgramSynthesis system based on CategoryTheory. Homepage: http://www.kestrel.edu/HTML/prototypes/specware.html

If the title you want is just one word, how can you "smash" it together? 1. You can add some other word(s). For example, instead of Z , use ZSpecificationLanguage ...