Transforming big-step to small-step semantics using interpreter specialisation - JP Gallagher; M Hermenegildo; J Morales; P Lopez-Garcia (International Symposium On Logic-Based Program Synthesis And Transformation ?, 2023)