Skip to content

Repository for ASE 2018 paper, "Datalog-based Scalable Semantic Diffing of Concurrent Programs".

Notifications You must be signed in to change notification settings

ChunghaSung/EC-Diff

Error
Looks like something went wrong!

About

Repository for ASE 2018 paper, "Datalog-based Scalable Semantic Diffing of Concurrent Programs".

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published