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):
Displayed 5 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)