Measurement Strategies
Abstract elided by the publisher.
Related papers
- Measuring effectiveness of sample-based product-line testing GPCE 2018
- Tight typings and split bounds ICFP 2018
- A Needed Narrowing Strategy POPL 1994
- The weak call-by-value λ-calculus is reasonable for both time and space POPL 2020
- Tight typings and split bounds, fully developed JFP 2020
- The Shared Regions Approach to Software Cache Coherence on Multiprocessors PPoPP 1993
- Optimistic evaluation: an adaptive evaluation strategy for non-strict programs ICFP 2003
- Safety-Constrained Reinforcement Learning for MDPs TACAS 2016