GC-Safe Interprocedural Unboxing
No abstract available.
Related papers
- Unboxed Data Constructors: Or, How cpp Decides a Halting Problem POPL 2024
- On the Runtime Complexity of Type-Directed Unboxing ICFP 1998
- A Safe Approximate Algorithm for Interprocedural Pointer Aliasing PLDI 1992
- Improving STM performance with transactional structs Haskell 2017
- Parametricity and Unboxing with Unpointed Types ESOP 1996
- Unboxed Objects and Polymorphic Typing POPL 1992
- Call-by-Unboxed-Value ICFP 2024
- Interprocedural Context-Unbounded Program Analysis Using Observation Sequences TOPLAS 2021