Detecting meaningful changes in programs from semantically-annotated production rules
Primary LanguageCOtherNOASSERTION