Freeness Analysis in the Presence of Numerical Constraints

Keyphrases

• Program Variables 100%
• Numerical Constraints 100%
• Information Sharing 50%
• Abstract Interpretation 50%
• Constraint Solver 50%
• Mixed System 50%
• Logic Programming 50%
• Abstract Domains 50%
• Level Optimization 50%
• High-Level Optimizations 50%
• General Constraints 50%
• Constraint System 50%

Computer Science

• Program Variable 100%
• Numerical Constraint 100%
• Abstract Interpretation 50%
• System Constraint 50%
• Needed Information 50%
• Constraint Solver 50%
• Logic Programming 50%