Interprocedurally analysing linear inequality relations

Keyphrases

• Auxiliary Variable 50%
• Conditional Branch 50%
• Constraint System 50%
• Convex Set 100%
• Effective Analysis 50%
• Efficient Implementation 50%
• Frame Representations 50%
• Function Composition 50%
• Least Solution 50%
• Linear Inequalities 100%
• Polyhedron 100%
• Polynomial Time 50%
• Simplex 50%
• Transition Matrix 50%

Mathematics

• Approximates 50%
• Auxiliary Variable 50%
• Basic Operation 50%
• Conditionals 100%
• Convex Set 100%
• Linear Inequality 100%
• Polyhedron 100%
• Polynomial Time 50%
• Precise Result 50%
• Simplex 50%
• Transition Matrix 50%

Computer Science

• Auxiliary Variable 50%
• Basic Operation 50%
• Efficient Implementation 50%
• Linear Inequality 100%
• Polynomial Time 50%
• Procedure Call 50%
• Simplex 50%
• Subclasses 50%
• System Constraint 50%
• Transition Matrix 50%