![](/img/cover-not-exists.png)
[ACM Press the 6th ACM SIGPLAN International Workshop - Barcelona, Spain (2017.06.18-2017.06.18)] Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2017 - A Datalog model of must-alias analysis
Balatsouras, George, Ferles, Kostas, Kastrinis, George, Smaragdakis, YannisYear:
2017
Language:
english
DOI:
10.1145/3088515.3088517
File:
PDF, 135 KB
english, 2017