Strictly Declarative Specification of Sophisticated Points-to Analyses

Congratulations to LogicBlox team member Martin Bravenboer and academic collaborator Yannis Smaragdakis on their recent publication in OOPSLA 2009. In this work, Martin and Yannis describes Doop, a strictly declarative points-to analyses framework for Java. Doop is entirely implemented on top of the LogicBlox database, and uses LogiQL as the language for describing analyses. The Doop framework builds on the idea of specifying pointer analysis algorithms declaratively, using Datalog. It carries the declarative approach further than past work by describing the full end-to-end analysis in Datalog and optimizing aggressively using a novel technique that takes into account Datalog incremental evaluation.


Leave a reply

© Copyright 2023. Infor. All rights reserved.

Log in with your credentials

Forgot your details?