Concepedia

Small-step Semantics

Small-Step Semantics is a formal method in programming language theory that specifies the operational semantics of programs by defining a sequence of elementary computation steps, each describing a single transition in the reduction of program configurations, thereby enabling fine-grained analysis of program behavior and evaluation dynamics.

64

Publications

2.6K

Citations

130

Authors

71

Institutions

Publications per year

2017–2026

3

Parents

Publications

64

A machine-checked model for a Java-like language, virtual machine, and compiler

Gerwin Klein, Tobias Nipkow · ACM Transactions on Programming Languages and Systems · 2006 · 247 citations · Full text

, , +16

KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels

John Criswell, Nathan Dautenhahn, Vikram Adve · 2014 · 179 citations

, , +17

Multi-state programming : its theory and applications

Walid Taha · OHSU Digital Commons · 1999 · 164 citations · Full text

, , +14

Refocusing in Reduction Semantics

Olivier Danvy, Lasse R. Nielsen · BRICS Report Series · 2004 · 126 citations · Full text

, , +13

High-level small-step operational semantics for transactions

Katherine F. Moore, Dan Grossman · 2008 · 123 citations

, , +16

1–5 of 64

Authors

130

  1. OD
    Olivier Danvy

    Aarhus University, Denmark

    7 publications · 321 citations

    7

    h-index

  2. DB
    Dariusz Biernacki

    University of Wrocław, Poland

    5 publications · 171 citations

    5

    h-index

  3. TR
    Tahina Ramananandro

    Institut national de recherche en sciences et technologies du numérique, France

    2 publications · 69 citations

    2

    h-index

  4. MB
    Małgorzata Biernacka

    University of Wrocław, Poland

    2 publications · 70 citations

    2

    h-index

  5. NA
    Nils Anders Danielsson

    Chalmers University of Technology, Sweden

    2 publications · 63 citations

    2

    h-index

1–5 of 130

Institutions

71

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    6 h-index

    11 publications

    373 citations

  2. Aarhus University

    Aarhus, Denmark

    5 h-index

    9 publications

    306 citations

  3. University of Gothenburg

    Gothenburg, Sweden

    2 h-index

    2 publications

    63 citations

  4. Yale University

    New Haven, United States

    2 h-index

    8 publications

    276 citations

  5. University of Michigan

    Ann Arbor, United States

    2 h-index

    5 publications

    173 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    4 publications

    454 citations

  7. Princeton University

    Princeton, United States

    2 h-index

    4 publications

    454 citations

  8. University of Edinburgh

    Edinburgh, United Kingdom

    2 h-index

    3 publications

    157 citations

1–8 of 71

Venues

  1. BRICS Report Series

    8 publications · 279 citations

    8

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 141 citations

    5

    h-index

  3. Journal of Functional Programming

    4 publications · 94 citations

    4

    h-index

  4. ACM SIGPLAN Notices

    3 publications · 141 citations

    3

    h-index

  5. ACM Transactions on Computational Logic

    TOCL · 2 publications · 101 citations

    2

    h-index

1–5