On the public citation graph
NREVERSAL of fortune — The thermodynamics of garbage collection
0 signed · 146 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/spe.4380090105openalex-snapshot
A new implementation technique for applicative languages
inferredcites →https://doi.org/10.1002/spe.4380190206openalex-snapshot
Simple generational garbage collection and fast allocation
inferredcites →https://doi.org/10.1007/3-540-08342-1_32openalex-snapshot
On backtracking and greatest fixpoints
inferredcites →https://doi.org/10.1007/3-540-10003-2_79openalex-snapshot
On observing nondeterminism and concurrency
inferredcites →https://doi.org/10.1007/3-540-15975-4_37openalex-snapshot
Lambda lifting: Transforming programs to recursive equations
inferredcites →https://doi.org/10.1007/3-540-15975-4_50openalex-snapshot
The G-machine: A fast, graph-reduction evaluator
inferredcites →https://doi.org/10.1007/3540543961_26openalex-snapshot
M-structures: Extending a parallel, non-strict, functional language with state
inferredcites →https://doi.org/10.1007/bf01752388openalex-snapshot
Bicontinuous extensions of invertible combinatorial functions
inferredcites →https://doi.org/10.1007/bf01857725openalex-snapshot
Quantum mechanical Hamiltonian models of discrete processes that erase their own histories: Application to Turing machines
inferredcites →https://doi.org/10.1007/bf02084158openalex-snapshot
The thermodynamics of computation—a review
inferredcites →https://doi.org/10.1007/bfb0022492openalex-snapshot
Formal description of programming concepts
inferredcites →https://doi.org/10.1016/0096-0551(84)90004-3openalex-snapshot
Reverse execution in a generalized control regime
inferredcites →https://doi.org/10.1016/0096-0551(87)90002-6openalex-snapshot
Structured program lookahead
inferredcites →https://doi.org/10.1016/0141-9331(87)90510-2openalex-snapshot
The implementation of functional programming languages
inferredcites →https://doi.org/10.1016/0167-2789(84)90252-5openalex-snapshot
Physics-like models of computation
inferredcites →https://doi.org/10.1016/0167-6423(90)90042-copenalex-snapshot
Program inversion: More than fun!
inferredcites →https://doi.org/10.1016/0304-3975(82)90058-5openalex-snapshot
Symmetric space-bounded computation
inferredcites →https://doi.org/10.1016/0304-3975(88)90074-6openalex-snapshot
The linear abstract machine
inferredcites →https://doi.org/10.1016/0304-3975(88)90100-4openalex-snapshot
The linear abstract machine
inferredcites →https://doi.org/10.1016/0304-3975(92)90185-iopenalex-snapshot
The chemical abstract machine
inferredcites →https://doi.org/10.1038/335779a0openalex-snapshot
Dissipation and noise immunity in computation and communication
inferredcites →https://doi.org/10.1038/scientificamerican0977-230openalex-snapshot
Microelectronics and the Personal Computer
inferredcites →https://doi.org/10.1063/1.2810599openalex-snapshot
The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics
inferredcites →https://doi.org/10.1090/s0002-9939-1981-0593485-xopenalex-snapshot
A countable 𝑘-space that is not stratifiable
inferredcites →https://doi.org/10.1109/32.90445openalex-snapshot
Copying and swapping: influences on the design of reusable software components
inferredcites →https://doi.org/10.1109/52.88940openalex-snapshot
An execution-backtracking approach to debugging
inferredcites →https://doi.org/10.1109/icdcs.1989.37929openalex-snapshot
Transparent concurrent execution of mutually exclusive alternatives
inferredcites →https://doi.org/10.1109/ms.1984.229460openalex-snapshot
US&R: A New Framework for Redoing
inferredcites →https://doi.org/10.1109/tc.1981.1675827openalex-snapshot
Trace Scheduling: A Technique for Global Microcode Compaction
inferredcites →https://doi.org/10.1109/tc.1987.1676929openalex-snapshot
Debugging Parallel Programs with Instant Replay
inferredcites →https://doi.org/10.1119/1.1972241openalex-snapshot
The Feynman Lectures on Physics; Vol. I
inferredcites →https://doi.org/10.1137/0218053openalex-snapshot
Time/Space Trade-Offs for Reversible Computation
inferredcites →https://doi.org/10.1145/100348.100410openalex-snapshot
A formal approach to program inversion
inferredcites →https://doi.org/10.1145/109625.109642openalex-snapshot
Optimistic parallelization of communicating sequential processes
inferredcites →https://doi.org/10.1145/115790.115800openalex-snapshot
An optimistic commit protocol for distributed transaction management
inferredcites →https://doi.org/10.1145/115865.115894openalex-snapshot
Is there a use for linear logic?
inferredcites →https://doi.org/10.1145/116873.116875openalex-snapshot
Concurrency control in advanced database applications
inferredcites →https://doi.org/10.1145/130854.130858openalex-snapshot
CONS should not CONS its arguments, or, a lazy alloc is a smart alloc
inferredcites →https://doi.org/10.1145/2786.2793openalex-snapshot
Amortized efficiency of list update and paging rules
inferredcites →https://doi.org/10.1145/319566.319567openalex-snapshot
On optimistic methods for concurrency control
inferredcites →https://doi.org/10.1145/3318.3321openalex-snapshot
Towards monolingual programming environments
inferredcites →https://doi.org/10.1145/357103.357109openalex-snapshot
Synthesis of Resource Invariants for Concurrent Programs
inferredcites →https://doi.org/10.1145/357233.357234openalex-snapshot
User Recovery and Reversal in Interactive Systems
inferredcites →https://doi.org/10.1145/358024.358059openalex-snapshot
The computational metaphor and quantum physics
inferredcites →https://doi.org/10.1145/358141.358147openalex-snapshot
A real-time garbage collector based on the lifetimes of objects
inferredcites →https://doi.org/10.1145/359636.359713openalex-snapshot
Shifting garbage collection overhead to compile time
inferredcites →https://doi.org/10.1145/36205.36197openalex-snapshot
A RISC architecture for symbolic computation
inferredcites →https://doi.org/10.1145/362790.362798openalex-snapshot
A nonrecursive list compacting algorithm
inferredcites →https://doi.org/10.1145/363534.363554openalex-snapshot
An efficient machine-independent procedure for garbage collection in various list structures
inferredcites →https://doi.org/10.1145/41625.41653openalex-snapshot
Views: a way for pattern matching to cohabit with data abstraction
inferredcites →https://doi.org/10.1145/48022.48025openalex-snapshot
Analysis of functional programs to detect run-time garbage cells
inferredcites →https://doi.org/10.1145/5001.5005openalex-snapshot
A formal approach to undo operations in programming languages
inferredcites →https://doi.org/10.1145/68210.69226openalex-snapshot
IGOR: a system for program debugging via reversible execution
inferredcites →https://doi.org/10.1145/68210.69227openalex-snapshot
Supporting reverse execution for parallel programs
inferredcites →https://doi.org/10.1145/69215.69226openalex-snapshot
IGOR: a system for program debugging via reversible execution
inferredcites →https://doi.org/10.1145/73141.74848openalex-snapshot
Demonic memory for process histories
inferredcites →https://doi.org/10.1145/73560.73585openalex-snapshot
Lifetime analysis of dynamically allocated objects
inferredcites →https://doi.org/10.1145/800237.807127openalex-snapshot
Programming without pointer variables
inferredcites →https://doi.org/10.1145/91556.91564openalex-snapshot
Debugging standard ML without reverse engineering
inferredcites →https://doi.org/10.1145/954627.954635openalex-snapshot
A note on pattern matching under Quickscan in SNOBOL4
inferredcites →https://doi.org/10.1145/960116.54004openalex-snapshot
A mechanism for efficient debugging of parallel programs
inferredcites →https://doi.org/10.1145/987352.987358openalex-snapshot
Multiple tense computer programming
inferredcites →https://doi.org/10.1145/988164.988172openalex-snapshot
Values and objects in programming languages
inferredcites →https://doi.org/10.1145/99583.99626openalex-snapshot
A logical view of composition and refinement
inferredcites →https://doi.org/10.1147/rd.176.0525openalex-snapshot
Logical Reversibility of Computation
inferredcites →https://doi.org/10.1147/rd.321.0016openalex-snapshot
Notes on the history of reversible computation
inferredcites →https://doi.org/10.1147/rd.441.0270openalex-snapshot
Notes on the history of reversible computation
inferredcites →https://doi.org/10.1147/sj.92.0078openalex-snapshot
Evaluation techniques for storage hierarchies
inferredcites →https://doi.org/10.1201/9780429502880openalex-snapshot
Complexity, Entropy And The Physics Of Information
inferredcites →https://doi.org/10.1515/9781400868056openalex-snapshot
The Many Worlds Interpretation of Quantum Mechanics
inferredcites →https://doi.org/10.1515/9781400882618-009openalex-snapshot
The Inversion of Functions Defined by Turing Machines
inferredcites →https://doi.org/10.2307/2025598openalex-snapshot
Godel, Escher, Bach: An Eternal Golden Braid.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-44525-0_23openalex-snapshot
An Execution Architecture for GSL
inferred← citeshttps://doi.org/10.1007/978-3-031-09005-9_11openalex-snapshot
The $$\aleph $$-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-031-57267-8openalex-snapshot
Programming Languages and Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-57267-8_3openalex-snapshot
Reconciling Partial and Local Invertibility
inferred← citeshttps://doi.org/10.1007/978-3-031-62076-8_2openalex-snapshot
Compositional Reversible Computation
inferred← citeshttps://doi.org/10.1007/978-3-319-08494-7_7openalex-snapshot
Reference Counting for Reversible Languages
inferred← citeshttps://doi.org/10.1007/978-3-319-20860-2_5openalex-snapshot
Garbage Collection for Reversible Functional Languages
inferred← citeshttps://doi.org/10.1007/978-3-319-59936-6_2openalex-snapshot
Foundations of Generalized Reversible Computing
inferred← citeshttps://doi.org/10.1007/978-3-319-73216-9_11openalex-snapshot
Clean Reversible Simulations of Ranking Binary Trees
inferred← citeshttps://doi.org/10.1007/978-3-540-27764-4_16openalex-snapshot
An Injective Language for Reversible Computation
inferred← citeshttps://doi.org/10.1007/978-3-642-29517-1_2openalex-snapshot
Towards a Reversible Functional Language
inferred← citeshttps://doi.org/10.1007/978-3-642-38986-3_9openalex-snapshot
Reversible Representation and Manipulation of Constructor Terms in the Heap
inferred← citeshttps://doi.org/10.1007/s00354-018-0037-3openalex-snapshot
Reversible Garbage Collection for Reversible Functional Languages
inferred← citeshttps://doi.org/10.1007/s10766-012-0212-yopenalex-snapshot
Impact of Reverse Computing on Information Locality in Register Allocation for High Performance Computing
inferred← citeshttps://doi.org/10.1007/s11023-013-9327-1openalex-snapshot
A Revised Attack on Computational Ontology
inferred← citeshttps://doi.org/10.1007/s13347-012-0073-8openalex-snapshot
Notions of Information: Remarks on Fresco’s Paper
inferred← citeshttps://doi.org/10.1016/bs.adcom.2021.11.009openalex-snapshot
Embracing the laws of physics: Three reversible models of computation
inferred← citeshttps://doi.org/10.1016/j.entcs.2010.02.005openalex-snapshot
A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages
inferred← citeshttps://doi.org/10.1016/j.entcs.2018.03.013openalex-snapshot
From Reversible Programs to Univalent Universes and Back
inferred← citeshttps://doi.org/10.1017/s0956796800003828openalex-snapshot
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
inferred← citeshttps://doi.org/10.1017/s0956796823000126openalex-snapshot
Sparcl : A language for partially invertible computation
inferred← citeshttps://doi.org/10.1109/pads.1999.766169openalex-snapshot
Efficient optimistic parallel simulations using reverse computation
inferred← citeshttps://doi.org/10.1109/vl.1996.545261openalex-snapshot
Steering programs via time travel
inferred← citeshttps://doi.org/10.1109/wsc.2003.1261505openalex-snapshot
An algorithm for fully-reversible optimistic parallel simulation
inferred← citeshttps://doi.org/10.1145/1040305.1040325openalex-snapshot
Combinators for bi-directional tree transformations
inferred← citeshttps://doi.org/10.1145/1047659.1040325openalex-snapshot
Combinators for bi-directional tree transformations
inferred← citeshttps://doi.org/10.1145/1232420.1232424openalex-snapshot
Combinators for bidirectional tree transformations
inferred← citeshttps://doi.org/10.1145/1244381.1244404openalex-snapshot
A reversible programming language and its invertible self-interpreter
inferred← citeshttps://doi.org/10.1145/1629395.1629404openalex-snapshot
Spatial complexity of reversibly computable DAG
inferred← citeshttps://doi.org/10.1145/1806651.1806669openalex-snapshot
The economics of garbage collection
inferred← citeshttps://doi.org/10.1145/181761.181770openalex-snapshot
Thermodynamics and garbage collection
inferred← citeshttps://doi.org/10.1145/181889.181890openalex-snapshot
The Boyer benchmark meets linear logic
inferred← citeshttps://doi.org/10.1145/181993.181999openalex-snapshot
Linear logic and permutation stacks—the Forth shall be first
inferred← citeshttps://doi.org/10.1145/3409000openalex-snapshot
Sparcl: a language for partially-invertible computation
inferred← citeshttps://doi.org/10.1145/347823.347828openalex-snapshot
Efficient optimistic parallel simulations using reverse computation
inferred← citeshttps://doi.org/10.1145/3498667openalex-snapshot
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages
inferred← citeshttps://doi.org/10.1145/871895.871900openalex-snapshot
Modeling quantum computing in Haskell
inferred← citeshttps://doi.org/10.48550/arxiv.1806.10183openalex-snapshot
Generalized Reversible Computing
inferred← citeshttps://doi.org/10.48550/arxiv.2007.03605openalex-snapshot
Engines of Parsimony: Part I; Limits on Computational Rates in Physical Systems
inferred← citeshttps://doi.org/10.5555/1030818.1030932openalex-snapshot
Parallel distributed simulation and modeling methods: an algorithm for fully-reversible optimistic parallel simulation
inferred← citeshttps://doi.org/10.5555/301429.301467openalex-snapshot
Efficient optimistic parallel simulations using reverse computation
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.