A general framework for static profiling of parametric resource usage

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

zbMATH Keywords

static analysiscomplexity analysisresource usage analysisstatic profiling

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 ⋮ Unnamed Item

Uses Software

• SPEED
• Ciao
• CiaoPP

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