samskivert: Strictly Declarative Specification of Sophisticated Points-to Analyses – Bravenboer and Smaragdakis

06 March 2010

Describes a points-to analysis expressed entirely as a Datalog program. (Datalog is awesome!) They focus on the optimizations done to the Datalog program to allow the analysis to be faster and more scalable than the state-of-the-art (the paper being from OOPSLA 2009). The existing techniques have moved toward using BDDs to improve scalability and these guys are keen to prove that to be a bad idea.

Source: PDF ACM

©1999–2022 Michael Bayne