Matching logic: the foundation of the K framework (invited talk).

Grigore Rosu, Xiaohong Chen

Browse the full CPP paper archive.