Extrapolating Tree Transformations
No abstract available.
Related papers
- ScalaExtrap: trace-based communication extrapolation for spmd programs PPoPP 2011
- ScalaExtrap: Trace-based communication extrapolation for SPMD programs TOPLAS 2012
- Abstracting Induction by Extrapolation and Interpolation VMCAI 2015
- Automatic Verification of RMA Programs via Abstraction Extrapolation VMCAI 2018
- ESTIMA: extrapolating scalability of in-memory applications PPoPP 2016
- Program extrapolation with jennisys OOPSLA 2012
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- Deforestation: Transforming Programs to Eliminate Trees ESOP 1988