Pages that link to "Item:Q2931277"

The following pages link to Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (Q2931277):

Displaying 8 items.

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