21 citations · 78 across the 23 of their papers we have counts for
Showing 2007 · cs.PLShow all
2 papers · 2 filters
cs.PL2007
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)
Roberto Bagnara, Patricia Hill, Enea Zaffanella
ECLAIR is a Prolog-based prototype system aiming to provide a functionally complete environment for the study, development and evaluation of programming language analysis and imple…
cs.PL2007★ 6 cited
On the Design of Generic Static Analyzers for Modern Imperative Languages
Roberto Bagnara, Patricia M. Hill, Andrea Pescetti +1
The design and implementation of precise static analyzers for significant fragments of modern imperative languages like C, C++, Java and Python is a challenging problem. In this pa…