An algebraic approach to analysis of recursive and concurrent programs

Computer Science

• Recursive Program 100%
• Concurrent Program 100%
• Domains 100%
• Algorithms 66%
• Abstract Interpretation 66%
• Aspect-Oriented 66%
• Programs 66%
• Static Program Analysis 66%
• Messages 66%
• Software Verification 33%
• Equation System 33%
• Efficient Algorithm 33%
• Data Structure 33%
• Exponential Complexity 33%
• Analysis Model 33%
• Soundness 33%
• Newton's Method 33%
• Executing Process 33%
• Recursive Structure 33%
• Solving Equation 33%
• Reasoning 33%
• Application 33%
• Iterations 33%
• Evaluation 33%
• Contexts 33%
• Representation 33%
• Approximation (Algorithm) 33%
• Communication 33%
• Model Checking 33%
• Models 33%