DATALOG SOLVE: A Datalog-Based Demand-Driven Program Analyzer (0)

by M Alpuente, M A Feliú, C Joubert, A Villanueva
Venue:Electr. Notes Theor. Comput. Sci