A small step for mankind

C. Huizing, R.L.C. Koymans, R. Kuiper

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

4 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationConcurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever)
EditorsD. Dams, U. Hannemann, M. Steffen
Place of PublicationBerlin
Number of pages8
ISBN (Print)978-3-642-11511-0
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'A small step for mankind'. Together they form a unique fingerprint.

Cite this