Compilers must speak properties, not just code: CAL: Constraint aggregation language for declarative component-coordination

Keyphrases

• Symbolic Constraints 100%
• Compiler 100%
• Multicore Optimization 100%
• S-net 100%
• Constraint Aggregation 100%
• Component Coordination 100%
• Constraint Solver 50%
• Object Code 50%
• Constraint Solving 50%
• Stage-wise 50%
• Configuration Constraints 50%
• Coordination Programming 50%
• Resource Requirements 50%
• Optimization Problem 50%
• Well Structure 50%
• Computational Complexity 50%
• Coordination Languages 50%
• System Behavior 50%
• Combinators 50%
• Many-core Architecture 50%
• Extra-functional Properties 50%

Computer Science

• Multicore 100%
• Computational Complexity 50%
• Optimization Problem 50%
• Source Component 50%
• Functional Property 50%
• Many-Core 50%
• Constraint Solver 50%
• System Behavior 50%
• Core Architecture 50%