Merkliste 
 1 Ergebnisse 
 
1

Context-sensitive program analysis as database queries:

, In: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems,