A nonrecursive list compacting algorithm
From MaRDI portal
Cited in
(13)- ``V-tape, a virtual memory oriented data type, and its resource requirements
- Stop-and-copy and one-bit reference counting
- Genetic order and compactifying garbage collectors
- SICStus Prolog -- the first 25 years
- Scheduling of hard real-time garbage collection
- Higher-order separation logic in Isabelle/HOLCF
- Unit-cost pointers versus logarithmic-cost addresses
- Practical Tactics for Separation Logic
- Garbage collection in shared-environment closure reducers: Space-efficient depth first copying using a tailored approach
- Faster graph algorithms through DAG compression
- Marking algorithms
- Real-time MLton: a standard ML runtime for real-time functional programs
- Semantically restricted argument dependencies
This page was built for publication: A nonrecursive list compacting algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5618219)