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]

Authors

William C. Benton

This author has not been identified. Look up 'William C. Benton' in Google

Charles N. Fischer

This author has not been identified. Look up 'Charles N. Fischer' in Google