Pages that link to "Item:Q5097623"
From MaRDI portal
The following pages link to A General Framework for Static Cost Analysis of Parallel Logic Programs (Q5097623):
Displaying 6 items.
- Automatic Static Cost Analysis for Parallel Programs (Q2802433) (← links)
- A Dependently Typed Framework for Static Analysis of Program Execution Costs (Q3623950) (← links)
- ANALYSIS OF PRAM INSTRUCTION SETS FROM A LOG COST PERSPECTIVE (Q4853322) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- Analysing parallel complexity of term rewriting (Q6160759) (← links)
- On complexity bounds and confluence of parallel term rewriting (Q6622000) (← links)