Compositional recurrence analysis revisited

Computer Science

• Impedance Mismatch 100%
• Analysis Technique 50%
• Static Program Analysis 50%
• model checker 50%
• Path Expression 50%
• Abstract Interpretation 50%
• Software Model 50%
• Regular Language 50%
• context-free language 50%
• Context-Sensitive Analysis 50%

Keyphrases

• Recurrence Quantification Analysis 100%
• Inter-procedural 50%
• Impedance Mismatch 33%
• Model Checker 16%
• Pathway Expression 16%
• Abstract Interpretation 16%
• Abstract Domains 16%
• Context-sensitive 16%
• Recursive Method 16%
• Software Model 16%
• Overall Strength 16%
• Contextual Analysis 16%
• Symbolic Analysis 16%
• Expression Method 16%
• Static Analysis Method 16%
• Additional Operation 16%
• Regular Languages 16%
• Context-free Languages 16%