A framework for verification and debugging of resource usage properties: resource usage verification

DOI10.4230/LIPICS.ICLP.2010.104MaRDI QIDQ2883083zbMATH OpenOpenAlexFDO

Authors P. López-García, Luthfi Darmawan, F. Bueno

Publication date 11 May 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_2409.html

zbMATH Keywords

complexity analysiscost analysisresource usage analysisprogram verification and debugging

Mathematics Subject Classification ID

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

Recommendations

• Interval-based resource usage verification: formalization and prototype
• Programming Languages and Systems
• Computer Science Logic
• A general framework for static profiling of parametric resource usage
• Theorem Proving in Higher Order Logics
• Static determination of quantitative resource usage for higher-order programs
• Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
• Verification of higher-order concurrent programs with dynamic resource creation

Cited in

(7)

• Programming Languages and Systems
• Complexity verification using guided theorem enumeration
• A general framework for static cost analysis of parallel logic programs
• Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
• Resource usage verification.
• Interval-based resource usage verification: formalization and prototype
• Computer Science Logic

Describes a project that uses

Uses Software

• ASTREE
• CiaoPP
• Ciao

This page was built for publication: A framework for verification and debugging of resource usage properties: resource usage verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883083)