A Transformational Approach to Parametric Accumulated-Cost Static Profiling
From MaRDI portal
Publication:2798274
DOI10.1007/978-3-319-29604-3_11zbMath1475.68087MaRDI QIDQ2798274
John P. Gallagher, Manuel V. Hermenegildo, Pedro Lopez-Garcia, Umer Liqat, Rémy Haemmerlé, Maximiliano Klemen
Publication date: 4 April 2016
Published in: Functional and Logic Programming (Search for Journal in Brave)
Full work available at URL: http://oa.upm.es/47609/
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Closed-form upper bounds in static cost analysis
- Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
- 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
- Cost recurrences for DML programs
- Resource usage analysis
- Multivariate amortized resource analysis
- Implementation of Functional Languages
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs