Pages that link to "Item:Q2802433"
From MaRDI portal
The following pages link to Automatic Static Cost Analysis for Parallel Programs (Q2802433):
Displaying 15 items.
- Cost analysis of object-oriented bytecode programs (Q764297) (← links)
- Lower-bound synthesis using loop specialization and Max-SMT (Q832313) (← links)
- Cost analysis for an actor-based workflow modelling language (Q2154052) (← links)
- Types for complexity of parallel computation in pi-calculus (Q2233448) (← links)
- Type-based cost analysis for lazy functional languages (Q2398175) (← links)
- Time analysis of actor programs (Q2423757) (← links)
- A Coq Library for Internal Verification of Running-Times (Q2798271) (← links)
- Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs (Q3179394) (← links)
- A Dependently Typed Framework for Static Analysis of Program Execution Costs (Q3623950) (← links)
- (Q4813018) (← links)
- A General Framework for Static Cost Analysis of Parallel Logic Programs (Q5097623) (← links)
- Two decades of automatic amortized resource analysis (Q5875892) (← links)
- Type-based analysis of logarithmic amortised complexity (Q5875895) (← links)
- Analysing parallel complexity of term rewriting (Q6160759) (← links)
- On complexity bounds and confluence of parallel term rewriting (Q6622000) (← links)