Pages that link to "Item:Q4644354"
From MaRDI portal
The following pages link to Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (Q4644354):
Displaying 6 items.
- Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
- A General Framework for Static Cost Analysis of Parallel Logic Programs (Q5097623) (← links)
- VeriFly: <i>On-the-fly Assertion Checking via Incrementality</i> (Q6063866) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
