A Datalog model of must-alias analysis.

George Balatsouras Kostas Ferles George Kastrinis Yannis Smaragdakis

Published in: SOAP@PLDI (2017)

Keyphrases

computational model
database
high level
formal model
management system
mathematical model
probabilistic model
statistical analysis
theoretical analysis
prediction model
data sets
learning algorithm
simulation model
empirical data