The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Data Structures and Correctness of Programs
Journal of the ACM (JACM)
Morris's Garbage Compaction Algorithm Restores Reference Counts
ACM Transactions on Programming Languages and Systems (TOPLAS)
Managing Reentrant Structures Using Reference Counts
ACM Transactions on Programming Languages and Systems (TOPLAS)
A linear algorithm for copying binary trees using bounded workspace
Communications of the ACM
An empirical study of list structure in Lisp
Communications of the ACM
List processing in real time on a serial computer
Communications of the ACM
A fast algorithm for copying list structures
Communications of the ACM
A time- and space-efficient garbage compaction algorithm
Communications of the ACM
A bounded storage algorithm for copying cyclic structures
Communications of the ACM
On-the-fly garbage collection: an exercise in cooperation
Communications of the ACM
Shifting garbage collection overhead to compile time
Communications of the ACM
An exercise in proving parallel programs correct
Communications of the ACM
An efficient list-moving algorithm using constant workspace
Communications of the ACM
Analysis of an algorithm for real time garbage collection
Communications of the ACM
An efficient, incremental, automatic garbage collector
Communications of the ACM
Copying cyclic list structures in linear time using bounded workspace
Communications of the ACM
Communications of the ACM
Copying list structures using bounded workspace
Communications of the ACM
Multiprocessing compactifying garbage collection
Communications of the ACM
A note on Cheney's nonrecursive list-compacting algorithm
Communications of the ACM
Garbage collection for virtual memory computer systems
Communications of the ACM
A nonrecursive list moving algorithm
Communications of the ACM
List tracing in systems allowing multiple cell-types
Communications of the ACM
A nonrecursive list compacting algorithm
Communications of the ACM
New LISP techniques for a paging environment
Communications of the ACM
A use of fast and slow memories in list-processing languages
Communications of the ACM
Recovery of reentrant list structures in SLIP
Communications of the ACM
Block structures, indirect addressing, and garbage collection
Communications of the ACM
Structure of a LISP system using two-level storage
Communications of the ACM
Compact list representation: definition, garbage collection, and system implementation
Communications of the ACM
A LISP garbage-collector for virtual-memory computer systems
Communications of the ACM
Communications of the ACM
An efficient machine-independent procedure for garbage collection in various list structures
Communications of the ACM
A note on the efficiency of a LISP computation in a paged machine
Communications of the ACM
A method for overlapping and erasure of lists
Communications of the ACM
Communications of the ACM
Data Structure Techniques
Data Types and Structures
Computer Data Structures
Making the world safe for garbage collection
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The evolution of list-copying algorithms and the need for structured program verification
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data Structures: Theory and Practice
Data Structures: Theory and Practice
Data Structures and PL-1 Programming
Data Structures and PL-1 Programming
A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm
Program Construction, International Summer Schoo
Abstractions, instantiations, and proofs of marking algorithms
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
A LISP Garbage Collector Algorithm Using Serial Secondary Storage
A LISP Garbage Collector Algorithm Using Serial Secondary Storage
ACTOR SYSTEMS FOR REAL-TIME COMPUTATION
ACTOR SYSTEMS FOR REAL-TIME COMPUTATION
Algorithms for on-the-fly garbage collection
ACM Transactions on Programming Languages and Systems (TOPLAS)
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
Pascal implementation of a LISP interpreter
ACM SIGPLAN Notices
Incremental incrementally compacting garbage collection
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Deterministic and stochastic modeling of parallel garbage collection: towards real-time criteria
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
Storage reclamation in object oriented database systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Analysis of functional programs to detect run-time garbage cells
ACM Transactions on Programming Languages and Systems (TOPLAS)
Improving locality of reference in a garbage-collecting memory management system
Communications of the ACM
Atomic garbage collection: managing a stable heap
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Generational reference counting: a reduced-communication distributed storage reclamation scheme
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
SISAL versus FORTRAN: a comparison using the Livermore loops
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Tag-free garbage collection for strongly typed programming languages
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Parallel generational garbage collection
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
A comprehensive analytical model for garbage collection algorithms
ACM SIGPLAN Notices
Proving memory management invariants for a language based on linear logic
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Optimizing method search with lookup caches and incremental coloring
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Generational garbage collection for Haskell
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
A compiler approach to scalable concurrent-program design
ACM Transactions on Programming Languages and Systems (TOPLAS)
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
A distributed garbage collector for active objects
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Static and dynamic partitioning of pointers as links and threads
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Strategic directions in research on programming languages
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Breadth-first manipulation of very large binary-decision diagrams
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Research Demonstration of a Hardware Reference-Counting Heap
Lisp and Symbolic Computation
A method for on-line reorganization of a database
IBM Systems Journal
One-bit counts between unique and sticky
Proceedings of the 1st international symposium on Memory management
Portable run-time type description for conventional compilers
Proceedings of the 1st international symposium on Memory management
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Garbage collecting the Internet: a survey of distributed garbage collection
ACM Computing Surveys (CSUR)
Garbage collection in object oriented systems (workshop session)
OOPSLA/ECOOP '90 Proceedings of the European conference on Object-oriented programming addendum : systems, languages, and applications: systems, languages, and applications
A protocol for distributed reference counting
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
ICMS: an intelligent cell memory system for real-time engineering applications
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems
Parallel garbage collection without synchronization overhead
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Memory organization and management for linked data structures
CSC '91 Proceedings of the 19th annual conference on Computer Science
Comparison of Compacting Algorithms for Garbage Collection
ACM Transactions on Programming Languages and Systems (TOPLAS)
Performance analysis of on-the-fly garbage collection
Communications of the ACM
An experimental study of renewal-older-first garbage collection
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
A Parallel Asynchronous Garbage Collection Algorithm for Distributed Systems
IEEE Transactions on Knowledge and Data Engineering
A Highly Effective Partition Selection Policy for Object Database Garbage Collection
IEEE Transactions on Knowledge and Data Engineering
Garbage Collection in a Distributed Object-Oriented System
IEEE Transactions on Knowledge and Data Engineering
Garbage Collection Algorithms for Java-Based Prolog Engines
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Indexing in a Hypertext Database
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Compilation Scheme for a Hierarchy of Array Types
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Improved effectiveness from a real time LISP garbage collector
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Generation Scavenging: A non-disruptive high performance storage reclamation algorithm
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Single Assignment C: efficient support for high-level array operations in a functional setting
Journal of Functional Programming
Real-time concurrent collection on stock multiprocessors
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Garbage collection for embedded systems
Proceedings of the 4th ACM international conference on Embedded software
History of programming languages---II
IEEE Transactions on Computers
Overview of garbage collection in symbolic computing
ACM SIGPLAN Lisp Pointers
Compacting garbage collection with ambiguous roots
ACM SIGPLAN Lisp Pointers
Memory management for self-adjusting computation
Proceedings of the 7th international symposium on Memory management
Online reorganization of databases
ACM Computing Surveys (CSUR)
Analysis of the multi-phase copying garbage collection algorithm
International Journal of Computational Science and Engineering
Automatic generation of network protocol gateways
Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
Adjunction for garbage collection with application to graph rewriting
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Automatic generation of network protocol gateways
Middleware'09 Proceedings of the ACM/IFIP/USENIX 10th international conference on Middleware
| Hi-index | 0.04 |