A Formal Foundation of Code Pattern Based Development.

Jian Liu, Farokh B. Bastani, I-Ling Yen

Browse the full SEKE paper archive.