Views
5 years ago

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

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

Impact on Analysis

Impact on Analysis Scalability ● To evaluate impact of on­line simplification on analysis scalability, we ran our program analysis system, Compass, on 811 benchmarks. ● 173,000 LOC ● Programs ranging from 20 to 30,000 lines ● Checked for assertions and various memory safety properties. ● Compared running time of runs that use on­line simplification with runs that do not.

Impact on Analysis Scalability Analysis time (seconds) Programs >100 lines are analyzed faster with simplification. # lines of code Times out at 3600s 2 orders of magnitude improvement

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 ...
Program Analysis as Constraints SOlving
The Thales constraint programming framework for on-line planning ...
Towards Stochastic Constraint Programming: A Study of On-Line ...
Constraint Graph Analysis of Multithreaded Programs
Foundations of Constraint programming and CONstraint Logic ...
Logical Constraints in Integer Programs
Logic Programming with Constraints - Webdocs Cs Ualberta
Constraint Reduction for Linear Programs with Many Constraints
Revision programming= logic programming+ constraints
A hybrid constraint programming and semidefinite programming ...
Transderivational Constraints in the Minimalist Program
Distributed Constraint Programming with Agents
Parallel Consistency in Constraint Programming
Constraint Lingo: Towards high-level constraint programming
Local Constraint-Based Mining and Set Constraint Programming for ...
Modelling in Constraint Programming - Cork Constraint Computation ...