Compiler Implementation of ADTs Using Profile Data
No abstract available.
DOI 10.1007/3-540-55984-1_9
Related papers
- Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs ECOOP 2024
- Automatic scalable atomicity via semantic locking PPoPP 2015
- Symbolic abstract data type inference POPL 2016
- Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types ICFP 2023
- Bridging Arrays and ADTs in Recursive Proofs TACAS 2021
- Semantic Code Refactoring for Abstract Data Types POPL 2024
- Automatic semantic locking PPoPP 2014
- A relational modal logic for higher-order stateful ADTs POPL 2010