Fixing Some Space Leaks with a Garbage Collector.¶
Wadler, P. (1987). Fixing Some Space Leaks with a Garbage Collector. Software: Practice and Experience, 17(9), 595-608.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Postponement
- The intervention the frame prescribes — cheapen the undifferentiated form — is exactly what efficient thunk representation and sharing achieve, and the degeneration into procrastination has a precise computational analogue: a space leak, where thunks accumulate without ever being forced, paying carrying cost with no offsetting benefit because the demand signal never arrives for them.
This sourceCharacterizes space leaks in lazy evaluation, where unforced thunks accumulate and accrue cost with no offsetting benefit.
- The intervention the frame prescribes — cheapen the undifferentiated form — is exactly what efficient thunk representation and sharing achieve, and the degeneration into procrastination has a precise computational analogue: a space leak, where thunks accumulate without ever being forced, paying carrying cost with no offsetting benefit because the demand signal never arrives for them.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:40c87954fb59 · see in the full table