A General Framework for Static Cost Analysis of Parallel Logic Programs
DOI10.1007/978-3-030-45260-5_2zbMath1502.68068arXiv1907.13272OpenAlexW3020739689MaRDI QIDQ5097623
Pedro Lopez-Garcia, Manuel V. Hermenegildo, Maximiliano Klemen, John P. Gallagher, Jose Francisco Morales
Publication date: 25 August 2022
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1907.13272
parallelismstatic analysisPrologcomplexity analysisresource usage analysis(constraint) logic programming
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic programming (68N17)
Related Items (2)
Cites Work
- An asymptotic theory for recurrence relations based on minimization and maximization.
- Tight bounds on the solutions of multidimensional divide-and-conquer maximin recurrences
- Closed-form upper bounds in static cost analysis
- Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
- A Transformational Approach to Parametric Accumulated-Cost Static Profiling
- Automatic Static Cost Analysis for Parallel Programs
- Practical Foundations for Programming Languages
- A provable time and space efficient implementation of NESL
- A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
- Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
- Mechanical program analysis
- Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
- A general framework for static profiling of parametric resource usage
- Parallel Cost Analysis
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
- Multidimensional Divide-and-Conquer Maximin Recurrences
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
This page was built for publication: A General Framework for Static Cost Analysis of Parallel Logic Programs
