A Semantics for Tracing
Olaf Chitil · Kent Academic Repository (University of Kent) · 2001
We define a small step operational semantics for a core of Haskell. We modify this semantics to generate traces, specifically Augmented Redex Trails. This small and direct definition of Augmented Redex Trails shall improve our understanding of them and shall help to extend them systematically.