20 citations · 40 across the 6 of their papers we have counts for
3 papers · 1 filter
A Complete Refinement Procedure for Regular Separability of Context-Free Languages
Graeme Gange, Jorge A. Navas, Peter Schachte +2
Often, when analyzing the behaviour of systems modelled as context-free languages, we wish to know if two languages overlap. To this end, we present an effective semi-decision proc…
A Partial-Order Approach to Array Content Analysis
Graeme Gange, Jorge A. Navas, Peter Schachte +2
We present a parametric abstract domain for array content analysis. The method maintains invariants for contiguous regions of the array, similar to the methods of Gopan, Reps and S…
Fast Set Bounds Propagation Using a BDD-SAT Hybrid
Graeme Gange, Peter James Stuckey, Vitaly Lagoon
Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques in- cur the s…