Non-numerical weakly relational domains

Keyphrases

• Abstract Transformer 20%
• Constant Propagation 20%
• Disjunction 60%
• Generic Construction 20%
• Guard 20%
• Least Upper Bound 20%
• Non numerical 100%
• NP-complete 40%
• Numerical Properties 20%
• Order of Values 20%
• Partial Order 40%
• Polynomial-time Algorithm 20%
• Prefix 20%
• Relational Domain 40%
• Substring 40%
• Weakly Relational Domains 100%

Computer Science

• Abstract Operation 50%
• Constant Propagation 50%
• Partial Order 100%
• Polynomial Algorithm 50%