DATA OPTIMIZATIONS FOR CONSTRAINT AUTOMATA

Keyphrases

• Atomic Data 20%
• Automata over Infinite alphabets 20%
• Compiler 60%
• Constraint Automata 100%
• Coordination Model 20%
• Correct-by-construction 20%
• Data Constraints 80%
• Data-driven Optimization 100%
• Executable Code 40%
• Finite Automata 20%
• First-order Formula 20%
• Generated Code 20%
• Impact Performance 20%
• Optimization Techniques 40%
• Positive Impact 20%
• Redundant Variables 20%
• Smartness 20%

Computer Science

• Automaton 100%
• Coordination Model 20%
• Data Constraint 80%
• Executable Code 40%
• Finite Automata 20%
• Optimization Technique 40%