Goal-Directed Value Profiling
No abstract available.
DOI 10.1007/3-540-45306-7_22
Related papers
- Shadow Profiling: Hiding Instrumentation Costs with Parallelism CGO 2007
- Simple Translation of Goal-Directed Evaluation PLDI 1997
- Goal-directed weakening of abstract interpretation results TOPLAS 2007
- Search Direction by Goal Failure in Goal-Directed Programming TOPLAS 1990
- Profile-driven energy reduction in network-on-chips PLDI 2007
- Design and evaluation of dynamic optimizations for a Java just-in-time compiler TOPLAS 2005
- Generators in Icon TOPLAS 1981
- Denotational Semantics of a Goal-Directed Language TOPLAS 1992