6 citations · 13 across the 6 of their papers we have counts for
5 papers · 1 filter
Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)
Patricia Hill, Wim Vanhoof
This volume contains the papers presented at WLPE 2007: the 17th Workshop on Logic-based Methods in Programming Environments on 13th September, 2007 in Porto, Portugal. It was held…
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…
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Integer octagonal constraints (a.k.a. ``Unit Two Variables Per Inequality'' or ``UTVPI integer constraints'') constitute an interesting class of constraints for the representation…
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…
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Convex polyhedra are the basis for several abstractions used in static analysis and computer-aided verification of complex and sometimes mission critical systems. For such applicat…