Suspension Analyses for Concurrent Logic Programs

Keyphrases

• Scheduling Policy 100%
• Logic Programming 100%
• Efficient Implementation 50%
• Abstract Interpretation 50%
• Reactive Systems 50%
• Testing Method 50%
• Transition System 50%
• Programming Errors 50%
• Debugging Strategies 50%
• Logic Language 50%
• Communicating Processes 50%

Computer Science

• Scheduling Policy 100%
• Logic Programming 100%
• Abstract Interpretation 50%
• Reactive System 50%
• Efficient Implementation 50%
• Transition System 50%
• Communicating Process 50%
• Programming Error 50%
• Logic Language 50%