Pages that link to "Item:Q3814779"
From MaRDI portal
The following pages link to Analysis of functional programs to detect run-time garbage cells (Q3814779):
Displaying 7 items.
- Region-based memory management (Q676777) (← links)
- A lattice for abstract interpretation of dynamic (LISP-like) structures (Q1201726) (← links)
- Usage counting analysis for lazy functional languages (Q1275747) (← links)
- Sharing analysis based on type inference (Q1346608) (← links)
- An Inference Algorithm for Guaranteeing Safe Destruction (Q3617435) (← links)
- Automatic Space Bound Analysis for Functional Programs with Garbage Collection (Q5222979) (← links)
- Improving flow analyses via ΓCFA (Q5501455) (← links)