Full Reduction at Full Throttle
No abstract available.
Related papers
- Full Reduction in the Face of Absurdity ESOP 2015
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus JFP 2019
- A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object JFP 1996
- Bounded partial-order reduction OOPSLA 2013
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020
- A Core Calculus for Java Exceptions OOPSLA 2001
- Finite Differencing of Computable Expressions TOPLAS 1982
- Weak optimality, and the meaning of sharing ICFP 2013