A small step for mankind

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelConcurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever)
RedacteurenD. Dams, U. Hannemann, M. Steffen
Plaats van productieBerlin
UitgeverijSpringer
Pagina's66-73
Aantal pagina's8
ISBN van geprinte versie978-3-642-11511-0
DOI's
StatusGepubliceerd - 2010

Publicatie series

NaamLecture Notes in Computer Science
Volume5930
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'A small step for mankind'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

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