Ganesh Selvaraj, Gerald Weber, Christof Lutteroth. Efficient Program Analyses Using Deductive and Semantic Methodologies. In 13th IEEE International Conference on e-Science, e-Science 2017, Auckland, New Zealand, October 24-27, 2017. pages 440-441, IEEE Computer Society, 2017. [doi]
Abstract is missing.