2

Ciobaca: From Small-Step Semantics to Big-Step Semantics, Automatically

describes how to go from small-step to big-step semantics.

I need to do the other way around: from big-step to small-step. Is there literature for this? What should I be careful of?

EXTENSION: I have a big-step operational semantics for a functional language and for my purposes I need to write a small-step operational semantics for it. Can you point to relevant scientific literature on how I should do this, what are the pitfalls?

Gergely
  • 389
  • 1
  • 9

1 Answers1

1

Here are a couple articles on the matter.

From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation and Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step

Also, if you need to write your own semantics for a functionnal language, you should have a look at pcf's semantics, for example here. If you feel adventurous, start with a semantics for the lambda calculus and go your own way.

dader
  • 214
  • 2
  • 5