Transformation Language Integration Based on Profiles and Higher Order Transformations
Abstract elided by the publisher.
Related papers
- Formally Based Profiling for Higher-Order Functional Languages TOPLAS 1997
- Efficient and effective branch reordering using profile data TOPLAS 2002
- Correctness of a Higher-Order Removal Transformation through a Relational Reasoning APLAS 2003
- Realistic Compilation by Partial Evaluation PLDI 1996
- Programming Type-Safe Transformations Using Higher-Order Abstract Syntax CPP 2013
- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs ESOP 2016
- A graph-based higher-order intermediate representation CGO 2015
- Types and higher-order recursion schemes for verification of higher-order programs POPL 2009