Discriminative Model Checking
Abstract elided by the publisher.
Related papers
- Directional Type Checking for Logic Programs: Beyond Discriminative Types ESOP 2000
- Type-Based Gradual Typing Performance Optimization POPL 2024
- Generic discrimination: sorting and paritioning unshared data in linear time ICFP 2008
- Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries APLAS 2013
- Generic top-down discrimination for sorting and partitioning in linear time JFP 2012
- Discriminating Traces with Time TACAS 2017
- Error-Tolerant Quantum State Discrimination: Optimization and Quantum Circuit Synthesis TACAS 2026
- Cross-Input Learning and Discriminative Prediction in Evolvable Virtual Machines CGO 2009