Views
5 years ago

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

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

An Example enum op_type

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; if(op == ADD) res = x+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; Branch Success Condition op = 0 op 6= 0 ^ op = 1 op 6= 0 ^ op 6= 1 ^ op = 2 true true true y 6= 0 op 6= ^op 6= 1 ^ op 6= 2 ^ op 6= 3 true Program analysis tool examines every branch and computes condition under which each branch succeeds.

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; if(op == ADD) res = x+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; } op = 0 _ (op 6= 0 ^ op = 1) _ (op 6= 0 ^ op 6= 1 ^ op = 2)_ (op 6= 0 ^ op 6= 1 ^ op 6= 2 ^ op = 3 ^ y 6= 0)_ (op 6= 0 ^ op 6= 1 ^ op 6= 2 ^ op 6= 3)

Constraint Logic Programming Using ECLiPSe
Multiparadigm Constraint Programming Languages (Cognitive ...
SCIP - Solving Constraint Integer Programs - ZIB
Answer Sets: From Constraint Programming Towards Qualitative ...
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
Foundations of Constraint programming and CONstraint Logic ...
Towards Stochastic Constraint Programming: A Study of On-Line ...
Constraint Graph Analysis of Multithreaded Programs
Logic Programming with Constraints - Webdocs Cs Ualberta
Parallel Consistency in Constraint Programming
Distributed Constraint Programming with Agents
Logical Constraints in Integer Programs
Modelling in Constraint Programming - Cork Constraint Computation ...
Constraint Lingo: Towards high-level constraint programming
MATHEMATICAL PROGRAMS WITH VANISHING CONSTRAINTS ...
Future and trends of Constraint Programming - Centre for ...
Default Timed Concurrent Constraint Programming
On Integrating Constraint Propagation and Linear Programming for ...
Stochastic Concurrent Constraint Programming
Multi-agent Constraint Programming