Pages that link to "Item:Q2712583"
From MaRDI portal
The following pages link to A type system for bounded space and functional in-place update (Q2712583):
Displaying 10 items.
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits (Q670699) (← links)
- Syntactic control of concurrency (Q817845) (← links)
- An arithmetic for non-size-increasing polynomial-time computation (Q1827388) (← links)
- Program equivalence in linear contexts (Q2346993) (← links)
- A program logic for resources (Q2463560) (← links)
- Recursion and dynamic data-structures in bounded space: towards embedded ML programming (Q2817712) (← links)
- (Q4364396) (← links)
- (Q4457458) (← links)
- Two decades of automatic amortized resource analysis (Q5875892) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)