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

DOI10.4230/LIPICS.ICLP.2010.104zbMATH Open1237.68045OpenAlexW1566466791MaRDI QIDQ2883083FDOQ2883083

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

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

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)

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

Uses Software

• Ciao
• CiaoPP
• ASTREE

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)