
CLPSB
 Referenced in 7 articles
[sw00132]
 evaluation of B formal specifications using Constraint Logic Programming with sets. This approach is used ... CLPSB, is described in terms of constraint domains, consistency verification and constraint propagation...

VeriMAP
 Referenced in 7 articles
[sw22866]
 respect to the languages in which the program and the property to be verified ... been developed in the fields of constraint logic programming and SMT solving...

Newton
 Referenced in 6 articles
[sw21236]
 Newton, a constraint programming language over nonlinear real constraints. Newton originates from an effort ... reconcile the declarative nature of constraint logic programming (CLP) languages over intervals with advanced interval...

MuTACLP
 Referenced in 4 articles
[sw01597]
 Geographical Information System (GIS) technology and constraint logic programming in order to supply the user ... uniform way, and the features of constraint logic programming, such as recursion and constraint handling...

miniKanren
 Referenced in 6 articles
[sw20082]
 embedded Domain Specific Language for logic programming. miniKanren has been implemented in a growing number ... easily modified and extended; extensions include Constraint Logic Programming, probabilistic logic programming, nominal logic programming...

ALE
 Referenced in 5 articles
[sw28843]
 parsing, semanticheaddriven generation and constraint logic programming with typed feature structures as terms ... appropriateness specifications for features and values. Arbitrary constraints may be attached to types, and types ... also interleave unification steps with logic program goal calls (as can be done in DCGs...

TOY
 Referenced in 55 articles
[sw09812]
 framework for declarative programming whose basis is a constructor based rewriting logic with lazy ... features; equality and disequality constraints over terms and linear constraints over real numbers; goal solving ... with constraint solving. The implementation is based on a compilation of TOY programs into Prolog...

HMC
 Referenced in 7 articles
[sw09867]
 functional program to generate a set of logical refinement constraints whose satisfaction implies the safety ... source program. Next, it transforms the logical refinement constraints into a simple firstorder imperative...

APT
 Referenced in 3 articles
[sw29303]
 part of the execution of a constraint logic program can be conceptually shown ... represents the search space traversed by the program, and has also a direct relationship with ... amount of work performed by the program. The nodes of the tree can be used ... tool which runs constraint logic programs while depicting a (modified) searchtree, keeping at the same...

Veriflog
 Referenced in 4 articles
[sw08941]
 VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. Web site semantic content...

HYPROLOG
 Referenced in 14 articles
[sw02743]
 HYPROLOG: A new logic programming language with assumptions and abduction. We present HYPROLOG, a novel ... Constraint Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism inspired by linear logic...

CFLP
 Referenced in 5 articles
[sw18674]
 single solver. CFLP (Constraint Functional Logic Programming System) is a distributed software system consisting ... functional logic programming interpreter running on one machine and a number of constraint solving engines ... implementation can solve problems expressible in functional logic and involving constraints such as systems...

VIFID/TRIFID
 Referenced in 2 articles
[sw14758]
 programming paradigms, such as Constraint Logic Programming (CLP), whose declarative and operational semantics differ ... from other families of programming languages. In this chapter we discuss techniques for visualising data ... time values of the variables, and the constraints among them. Given our interest in visualising...

SIMP
 Referenced in 2 articles
[sw09936]
 programs by using techniques based on constraint logic programming (CLP). We consider a simple imperative...

UMLtoCSP
 Referenced in 2 articles
[sw11377]
 formal verification of UML/OCL models using constraint programming. We present UMLtoCSP, a tool ... class diagram annotated with OCL constraints, UMLtoCSP is able to automatically check several correctness properties ... redundant constraints. The tool uses Constraint Logic Programming as the underlying formalism and the constraint...

HIP
 Referenced in 27 articles
[sw09786]
 heap manipulating programs. HIP is a separation logic based automated verification system for a simple ... modularly verify the specifications of heapmanipulating programs. The specification language allows user defined inductive ... both heap constraints and various pure constraints like arithmetic constraints, bag constraints. Based on given ... will construct a set of separation logic proof obligations in the form of formula implications...

YakYak
 Referenced in 2 articles
[sw07540]
 YakYak: Parsing with logical side constraints Programming language syntax is often described by means ... free grammar, which is restricted by constraints programmed into the action code associated with productions ... extends Yacc with firstorder logic for specifying constraints that are regular tree languages. Concise ... formulas about the parse tree replace explicit programming, and they are turned into canonical attribute...

LMNtal
 Referenced in 9 articles
[sw07312]
 LMNtal as a hierarchical logic programming language. LMNtal (pronounced “elemental”) is a simple language model ... based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes ... outcome of the attempt to unify constraintbased ... concurrency and Constraint Handling Rules, the two notable extensions to concurrent logic programming. LMNtal...

CGLIB
 Referenced in 1 article
[sw31128]
 graphics library for B‐Prolog, a constraint logic programming system. The library provides primitives ... manipulating graphical objects and a set of constraints including not‐overlap, grid, table and tree...

AQCS
 Referenced in 15 articles
[sw08109]
 AQCS is a program for solving quantified constraints approximately. A quantified constraint is a formula ... firstorder predicate logic containing the following symbols: Variables ranging over the reals, floating point...