Regular path clauses and their application in solving loops

DOI10.4204/EPTCS.344.3MaRDI QIDQ6647300zbMATH OpenFDO

Authors Bishoksan Kafle, John P. Gallagher, Manuel Hermenegildo, Maximiliano Klemen, P. López-García, J. F. Morales

Publication date 3 December 2024

Full work available at URL https://doi.org/10.4204/EPTCS.344.3

zbMATH Keywords

Horn clausesmulti-argument recurrencesmulti-path recurrencespath programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Symbolic Loop Bound Computation for WCET Analysis
• Solving invariant generation for unsolvable loops
• scientific article; zbMATH DE number 2090027
• Degree and dimension estimates for invariant ideals of P-solvable recurrences

Cites work

• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• A Transformation System for Developing Recursive Programs
• Abstract multiple specialization and its application to program parallelization
• Control-flow refinement by partial evaluation, and its application to termination and cost analysis
• Fast Algorithms for Solving Path Problems
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Invariant generation for multi-path loops with polynomial assignments
• Mechanical program analysis
• On the inference of resource usage upper and lower bounds
• Solving non-linear Horn clauses using a linear Horn clause solver
• The treatment of data types in EL1
• Verification, Model Checking, and Abstract Interpretation

Cited in

(1)

• Runtime repeated recursion unfolding in CHR: a just-in-time online program optimization strategy that can achieve super-linear speedup

This page was built for publication: Regular path clauses and their application in solving loops

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6647300)