A confluent semantic basis for the analysis of concurrent constraint logic programs

Keyphrases

• Concurrent Constraint 100%
• Semantic Bases 100%
• Program Analysis 100%
• Constraint Logic Programs 100%
• Abstract Interpretation 50%
• Policy Analysis 50%
• Operational Semantics 50%
• Scheduling Policy 50%
• Parallelization 50%
• Logic Language 50%
• Constraint Logic 50%
• Sketch Analysis 50%
• Program Behavior 50%
• Process Scheduling 50%

Computer Science

• Logic Programming 100%
• Program Analysis 100%
• Abstract Interpretation 50%
• Operational Semantics 50%
• Scheduling Policy 50%
• Parallelism 50%
• Scheduling Process 50%
• Logic Language 50%