Extending Sized Type with Collection Analysis
No abstract available.
Related papers
- Compiler Support for Garbage Collection in a Statically Typed Language PLDI 1992
- Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines PLDI 1998
- Garbage collection using a finite liveness domain ISMM 2020
- On the usefulness of type and liveness accuracy for garbage collection and leak detection TOPLAS 2002
- Optimal Choice of When to Garbage Collect TOPLAS 2019
- Support for Garbage Collection at Every Instruction in a Java Compiler PLDI 1999
- Dynamic heap type inference for program understanding and debugging POPL 2007
- Size-based termination of higher-order rewriting JFP 2018