A Transformational Approach to Parametric Accumulated-Cost Static Profiling

DOI10.1007/978-3-319-29604-3_11zbMath1475.68087OpenAlexW2397139894MaRDI QIDQ2798274

Pedro Lopez-Garcia, Rémy Haemmerlé, Manuel V. Hermenegildo, Maximiliano Klemen, Umer Liqat, John P. Gallagher

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/

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

A General Framework for Static Cost Analysis of Parallel Logic Programs ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ A general framework for static profiling of parametric resource usage

Uses Software

• Ciao
• CiaoPP

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

This page was built for publication: A Transformational Approach to Parametric Accumulated-Cost Static Profiling