5 citations · 5 across the 1 of their papers we have counts for
2 papers
cs.PL2020★ 5 cited
Backjumping is Exception Handling
Ed Robbins, Andy King, Jacob M. Howe
ISO Prolog provides catch and throw to realise the control flow of exception handling. This pearl demonstrates that catch and throw are inconspicuously amenable to the implementati…
cs.PL2016
Incrementally Closing Octagons
Aziem Chawdhary, Ed Robbins, Andy King
The octagon abstract domain is a widely used numeric abstract domain expressing relational information between variables whilst being both computationally efficient and simple to i…