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.
Supported in partVerified against the publisher's abstract
Wadler's paper is the origin of the term 'space leak' and its abstract confirms excess memory use in functional programs, but it does not state the thunk/demand mechanism the claim asserts.
“Some functional programs may use more space than would be expected. A modification to the garbage collector is suggested which solves this problem in some cases.”
- 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¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Read against the text for 1 of 1 citation: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:40c87954fb59 · see in the full table