Non-numerical weakly relational domains

Keyphrases

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

Computer Science

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