A Trace Model for Pointers and Objects
No abstract available.
Related papers
- Elephant tracks: portable production of complete and precise gc traces ISMM 2013
- Propositional Dynamic Logic for Higher-Order Functional Programs CAV 2018
- Combining Generational and Conservative Garbage Collection: Framework and Implementations POPL 1990
- Compiler Support for Garbage Collection in a Statically Typed Language PLDI 1992
- Garbage Collection for Mostly Serialized Heaps ISMM 2024
- SLING: using dynamic analysis to infer program invariants in separation logic PLDI 2019
- Revisiting Partial Tracing for Safe, Efficient, and Concurrent Garbage Collection in Unmanaged Languages PLDI 2026
- VIP: verifying real-world C idioms with integer-pointer casts POPL 2022