Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
No abstract available.
Related papers
- Nontermination inference of logic programs TOPLAS 2006
- Constraint-based termination analysis of logic programs TOPLAS 1999
- Termination and non-termination specification inference PLDI 2015
- From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis SAS 2010
- Logical inference techniques for loop parallelization PLDI 2012
- Inference of Well-Typings for Logic Programs with Application to Termination Analysis SAS 2005
- Static specification inference using predicate mining PLDI 2007
- Inferring frame conditions with static correlation analysis POPL 2019