logic-rules
There are 2 repositories under logic-rules topic.
UCLA-SEAL/APIMatching
Automatic Inference of Structural Changes for Matching across Program Versions (ICSE 2007)
UCLA-SEAL/LSDiff
Discovering and Representing Systematic Code Changes (ICSE 2009)