Views
5 years ago

Small Formulas for Large Programs: On-line Constraint ...

Small Formulas for Large Programs: On-line Constraint ...

Goal #2:

Goal #2: On-line ● Simplification should be on­line: ● Formulas are continuously simplified and reused throughout the analysis. – Important because program analyses construct new formulas from existing formulas. – Simplification prevents incremental build­up of massive, redundant formulas. ● In our system, formulas are simplified at every satisfiability or validity query.

An Example enum op_type {ADD=0, SUBTRACT=1, MULTIPLY=2, DIV=3}; int perform_op(op_type op, int x, int y) { int res; Performs op if(op == ADD) res = x+y; on x and y else if(op == SUBTRACT) res = x-y; else if(op == MULTIPLY) res = x*y; else if(op == DIV) { assert(y!=0); res = x/y; } else res = UNDEFINED; return res; } Suppose we are interested in the condition under which perform_op successfully returns, i.e., does not abort.

Constraint Logic Programming Using ECLiPSe
Multiparadigm Constraint Programming Languages (Cognitive ...
Answer Sets: From Constraint Programming Towards Qualitative ...
SCIP - Solving Constraint Integer Programs - ZIB
Weighted Automata, Constraint Programming, and Large ...
Solving small VRPTWs with Constraint Programming Based Column ...
The Thales constraint programming framework for on-line planning ...
Program Analysis as Constraints SOlving
Towards Stochastic Constraint Programming: A Study of On-Line ...
Foundations of Constraint programming and CONstraint Logic ...
Parallel Consistency in Constraint Programming
Distributed Constraint Programming with Agents
Logic Programming with Constraints - Webdocs Cs Ualberta
Local Constraint-Based Mining and Set Constraint Programming for ...
Modelling in Constraint Programming - Cork Constraint Computation ...
Constraint Graph Analysis of Multithreaded Programs
Constraint Lingo: Towards high-level constraint programming
Logical Constraints in Integer Programs
Constraint Reduction for Linear Programs with Many Constraints
Multi-agent Constraint Programming
Stochastic Concurrent Constraint Programming
Future and trends of Constraint Programming - Centre for ...