Interactive, scalable, declarative program analysis: from prototype to implementation

William C. Benton, Charles N. Fischer. Interactive, scalable, declarative program analysis: from prototype to implementation. In Michael Leuschel, Andreas Podelski, editors, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. pages 13-24, ACM, 2007. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.