Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations
No abstract available.
Related papers
- The Eureka Programming Model for Speculative Task Parallelism ECOOP 2015
- An unfold/fold transformation framework for definite logic programs TOPLAS 2004
- A Tutorial on the Universality and Expressiveness of Fold JFP 1999
- Factorising folds for faster functions JFP 2010
- Transforming Acyclic Programs TOPLAS 1994
- Synthesis of Eureka Predicates for Developing Logic Programs ESOP 1990
- Compile/Run-Time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines PPoPP 1999
- The OT Life-cycle: From Eureka! to Shrink Wrap (Panel) OOPSLA 1997