Systematic Change of Data Representation: Program Manipulations and a Case Study
No abstract available.
Related papers
- Spiral in scala: towards the systematic construction of generators for performance libraries GPCE 2013
- Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic CPP 2024
- Mechanised Hypersafety Proofs about Structured Data PLDI 2024
- Extensible modeling with managed data in Java GPCE 2016
- Event-Based Performance Perturbation: A Case Study PPoPP 1991
- Toward a Complete Transformational Toolkit for Compilers TOPLAS 1997
- A Linear-Time Scheme for Version Reconstruction TOPLAS 1994
- Decisions for "Type" in APL POPL 1979