A general framework for static profiling of parametric resource usage
From MaRDI portal
Publication:4593063
DOI10.1017/S1471068416000442zbMath1379.68097arXiv1608.02780OpenAlexW2962858168MaRDI QIDQ4593063
Manuel V. Hermenegildo, Maximiliano Klemen, Pedro Lopez-Garcia, Umer Liqat
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1608.02780
Related Items (3)
A General Framework for Static Cost Analysis of Parallel Logic Programs ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- 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
- An overview of Ciao and its design philosophy
- Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
- More Precise Yet Widely Applicable Cost Analysis
- Compile-time derivation of variable dependency using abstract interpretation
- Mechanical program analysis
- Profiling large-scale lazy functional programs
- Optimized algorithms for incremental analysis of logic programs
- Cost recurrences for DML programs
- Resource usage analysis
- SPEED
- Implementation of Functional Languages
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
This page was built for publication: A general framework for static profiling of parametric resource usage
