• Publications
  • Influence
Constraint Logic Programming: A Survey
TLDR
Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Expand
  • 1,677
  • 143
  • PDF
Constraint logic programming
TLDR
We address the problem of designing programming systems to reason with and about constraints. Expand
  • 1,483
  • 82
The Semantics of Constraint Logic Programs
TLDR
The Constraint Logic Programming (CLP) Scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. Expand
  • 221
  • 31
  • PDF
A finite presentation theorem for approximating logic programs
TLDR
The notion of Cartesian closure on a set of unifiers has been used to define approximations of the least models of logic programs that are not only recursive, but can also be finitely represented in the form of a cyclic term graph. Expand
  • 145
  • 13
The CLP( R ) language and system
TLDR
The CLP<inline-equation><f><fen lp="par"><rm><sc>R</sc></rm><rp post="par"></fen></f></inline-Equation> programming language is defined, its underlyingphilosophy and programming methodology are discussed, importantimplementation issues are explored in detail, and finally, a prototypeinterpreter is described. Expand
  • 672
  • 12
TRACER: A Symbolic Execution Tool for Verification
TLDR
We present tracer, a verifier for safety properties of sequential C programs. Expand
  • 108
  • 8
  • PDF
Progressive Reasoning over Recursively-Defined Strings
TLDR
We consider the problem of reasoning over an expressive constraint language for unbounded strings. Expand
  • 42
  • 8
  • PDF
Beyond Finite Domains
TLDR
We give an algorithm for incremental satisfiability of unit TVPI constraints, and it can be augmented with a bounds-propagation technique for constraints more general than TVPI. Expand
  • 89
  • 6
Automatic induction proofs of data-structures in imperative programs
TLDR
We consider the problem of automated reasoning about dynamically manipulated data structures. Expand
  • 33
  • 6
  • PDF
S3: A Symbolic String Solver for Vulnerability Detection in Web Applications
TLDR
We present S3, a new symbolic string solver that is expressive enough for widespread applicability. Expand
  • 106
  • 5
  • PDF