Pages that link to "Item:Q2817712"
From MaRDI portal
The following pages link to Recursion and dynamic data-structures in bounded space: towards embedded ML programming (Q2817712):
Displaying 11 items.
- Syntactic control of concurrency (Q817845) (← links)
- A type system for counting instances of software components (Q1758151) (← links)
- Distributed call-tracking for security (Q1869981) (← links)
- Type-based cost analysis for lazy functional languages (Q2398175) (← links)
- A type system for bounded space and functional in-place update (Q2712583) (← 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)
- Efficient Type-Checking for Amortised Heap-Space Analysis (Q3644757) (← links)
- Termination checking with types (Q4659886) (← links)
- A Transformational Approach to Resource Analysis with Typed-norms Inference (Q4957197) (← links)
- (Q5015373) (← links)