@inbook{3c538d85170b4cbcb6282e47294da228,
title = "A small step for mankind",
abstract = "For many programming languages, the only formal semantics published is an SOS big-step semantics. Such a semantics is not suited for investigations that observe intermediate states, such as invariant techniques. In this paper, a construction is proposed that generates automatically a small-step SOS semantics from a big-step semantics. This semantics is based on the a priori technique pioneered by Willem-Paul de Roever et al.",
author = "C. Huizing and R.L.C. Koymans and R. Kuiper",
year = "2010",
doi = "10.1007/978-3-642-11512-7_5",
language = "English",
isbn = "978-3-642-11511-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "66--73",
editor = "D. Dams and U. Hannemann and M. Steffen",
booktitle = "Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever)",
address = "Germany",
}