A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic

A Bit-Vector Solver with Word-Level Propagation

article

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

A low overhead method for recovering unused memory inside regions

A strategy for managing content complexity in algorithm animation

article

A strategy for managing content complexity in algorithm animation

Abstract Interpretation over Non-lattice Abstract Domains

article

Abstract interpretation of active rules and its use in termination analysis

An Abstract Domain of Uninterpreted Functions

An application of abstract interpretation of logic programs: Occur check reduction

article

An experiment in partial evaluation

An experiment in partial evaluation: The generation of a compiler generator

article by Neil D. Jones et al published 1985 in Lecture Notes in Computer Science

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

An optimizing compiler for CLP(ℛ)

Analyzing Array Manipulating Programs by Program Transformation

Automatic Abstraction for Congruences

Boolean Approximation Revisited

Boolean Constraints for Binding-Time Analysis

Boolean functions for dependency analysis: Algebraic properties and efficient representation

scholarly article by Tania Armstrong et al published 1994 in Lecture Notes in Computer Science

Bottom-up dataflow analysis of normal logic programs

article published in 1992

Closure Operators for ROBDDs

Collaborative learning through formative peer review: pedagogy, programs and potential

article

Compositional Symbolic Execution Using Fine-Grained Summaries

article

Compositional Symbolic Execution: Incremental Solving Revisited

article

Denotational abstract interpretation of logic programs

Difference-list transformation for Prolog

Differential methods in logic program analysis

Effective feedback to small and large classes

Exception analysis for non-strict languages

Exception analysis for non-strict languages

Extended abstract of MIX: A self-applicable partial evaluator for experiments in compiler generation

Failure tabled constraint logic programming by interpolation

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

Generating source inputs for metamorphic testing using dynamic symbolic execution

article

Higher-Precision Groundness Analysis

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

Inferring Congruence Equations Using SAT

Information loss in knowledge compilation: A comparison of Boolean envelopes

Interval Analysis and Machine Arithmetic

Learning from and with peers

Learning from and with peers

Low-contact learning in a first year programming course

Meta-circular Abstract Interpretation in Prolog

Mix: A self-applicable partial evaluator for experiments in compiler generation

article by Neil D. Jones et al published February 1989 in Higher-Order and Symbolic Computation

On prolog and the occur check problem

Precise and efficient groundness analysis for logic programs

Reference Abstract Domains and Applications to String Analysis

Sharing and groundness dependencies in logic programs

Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code

Solving Difference Constraints over Modular Arithmetic

State Joining and Splitting for the Symbolic Execution of Binaries

Strictness Analysis as Finite-Domain Constraint Solving

article

Synthesizing Optimal Switching Lattices

Termination analysis for Mercury

The Boolean logic of set sharing analysis

Towards region-based memory management for Go

article

Truth versus information in logic programming

Two classes of Boolean functions for dependency analysis

UN-KLEENE BOOLEAN EQUATION SOLVING

Unbounded Model-Checking with Interpolation for Regular Language Constraints

Using Metamorphic Testing to Improve Dynamic Symbolic Execution

article