Search filters

List of works by Graeme Gange

A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic

A Fresh Look at Zones and Octagons

scientific article published on 04 September 2021

A Tool for Intersecting Context-Free Grammars and Its Applications

A complete refinement procedure for regular separability of context-free languages

Abstract Interpretation over Non-lattice Abstract Domains

article

An Abstract Domain of Uninterpreted Functions

An iterative approach to precondition inference using constrained Horn clauses

article by Bishoksan Kafle et al published July 2018 in Theory and Practice of Logic Programming

Analyzing Array Manipulating Programs by Program Transformation

BetaSearch: a new method for querying β-residue motifs ⬇️

scientific article published on July 30, 2012

Failure tabled constraint logic programming by interpolation

article by Graeme Gange et al published July 2013 in Theory and Practice of Logic Programming

High-Quality Ultra-Compact Grid Layout of Grouped Networks.

scientific article

Horn clauses as an intermediate representation for program analysis and transformation ⬇️

Interval Analysis and Machine Arithmetic

Solving Difference Constraints over Modular Arithmetic

Synthesizing Optimal Switching Lattices

Unbounded Model-Checking with Interpolation for Regular Language Constraints

Paulina is supported by:

About Paulina

Help