Summary
- DIMPLE is a logic programming framework for rapid development of static analyses and other programs that operate on programs (including preprocessors and interpreters). DIMPLE is so named as an homage to the Jimple IR (upon which the DIMPLE IR is substantially based) and to reflect its declarative character.
Papers
- William C. Benton and Charles N. Fischer. Interactive, Scalable, Declarative Program Analysis: From Prototype to Implementation. In Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. (Wrocław, Poland, 14-16 July 2007.) PDF (696kb). © ACM, 2007. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.
- Slides from my PPDP talk are available as Flash (1.7 MB) or PDF (2.6 MB)
- The third chapter of my doctoral dissertation covers DIMPLE+, a newer version with several enhancements. It also contains a more substantial evaluation (on much larger inputs) and greater detail than the PPDP paper.
Distribution
- DIMPLE development proceeds as I add features that I need in my own work. At some point in the future, I hope to make a public release of DIMPLE or a successor tool that builds on some of the lessons I've learned creating and extending DIMPLE.