Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

DOI10.1017/S147106841400057XzbMath1307.68022arXiv1405.4256OpenAlexW2004264692MaRDI QIDQ2931277

No author found.

Publication date: 25 November 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.4256

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (8)

A General Framework for Static Cost Analysis of Parallel Logic Programs ⋮ Parallel Logic Programming: A Sequel ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ A general framework for static profiling of parametric resource usage ⋮ Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption ⋮ A Transformational Approach to Parametric Accumulated-Cost Static Profiling ⋮ A Transformational Approach to Resource Analysis with Typed-norms Inference ⋮ Runtime complexity analysis of logically constrained rewriting

Uses Software

• Ciao
• CiaoPP

Cites Work

• Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. Proceedings
• An overview of Ciao and its design philosophy
• Abstract interpretation and application to logic programs
• Compile-time derivation of variable dependency using abstract interpretation
• Mechanical program analysis
• A practical framework for theabstract interpretation of logic programs

This page was built for publication: Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types