Martin Bravenboer, Yannis Smaragdakis. Strictly declarative specification of sophisticated points-to analyses. In Shail Arora, Gary T. Leavens, editors, Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA. pages 243-262, ACM, 2009. [doi]
@inproceedings{BravenboerS09,
title = {Strictly declarative specification of sophisticated points-to analyses},
author = {Martin Bravenboer and Yannis Smaragdakis},
year = {2009},
doi = {10.1145/1640089.1640108},
url = {http://doi.acm.org/10.1145/1640089.1640108},
tags = {programming languages, optimization, rule-based, Java, program analysis, points-to analysis, analysis, source-to-source, logic programming, context-aware, logic, program optimization, Datalog, systematic-approach, open-source},
researchr = {https://researchr.org/publication/BravenboerS09},
cites = {31},
citedby = {0},
pages = {243-262},
booktitle = {Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009},
editor = {Shail Arora and Gary T. Leavens},
publisher = {ACM},
isbn = {978-1-60558-766-0},
}