A small step for mankind

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)

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.
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
PublisherSpringer
Pages66-73
Number of pages8
ISBN (Print)978-3-642-11511-0
DOIs
Publication statusPublished - 2010

Publication series

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

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

  • Cite this

    Huizing, C., Koymans, R. L. C., & Kuiper, R. (2010). A small step for mankind. In D. Dams, U. Hannemann, & M. Steffen (Eds.), Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever) (pp. 66-73). (Lecture Notes in Computer Science; Vol. 5930). Springer. https://doi.org/10.1007/978-3-642-11512-7_5