On the Power of Homeomorphic Embedding for Online Termination
Abstract elided by the publisher.
Related papers
- Shallow embedding of DSLs via online partial evaluation GPCE 2015
- Offline partial evaluation can be as accurate as online partial evaluation TOPLAS 2004
- Online-ABFT: an online algorithm based fault tolerance scheme for soft error detection in iterative methods PPoPP 2013
- Phase-Aware Remote Profiling CGO 2005
- A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences ICFP 2011
- Static analysis for syntax objects ICFP 2006
- The power of Pi ICFP 2008
- On the Specialization of Online Program Specializers JFP 1993