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)

Multiparadigm Constraint Programming Languages (Cognitive ...
Constraint Logic Programming Using ECLiPSe
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
Constraint Programming
Constraint Programming
Constraint Programming
Constraint Programming
Constraint Graph Analysis of Multithreaded Programs
Towards Stochastic Constraint Programming: A Study of On-Line ...
Modeling Problems in Constraint Programming
Foundations of Constraint programming and CONstraint Logic ...
Logical Constraints in Integer Programs
Parallelism in Constraint Programming
Parallel Consistency in Constraint Programming
Distributed Constraint Programming with Agents
Modelling in Constraint Programming - Cork Constraint Computation ...
Logic Programming with Constraints - Webdocs Cs Ualberta
Parallelism in Constraint Programming
Constraint Reduction for Linear Programs with Many Constraints
Basics of Constraint Programming
Constraint Lingo: Towards high-level constraint programming
A hybrid constraint programming and semidefinite programming ...
Revision programming= logic programming+ constraints
Soft Constraints in Integer Linear Programs
Constraint Programming for Timetabling - Masaryk University