Concepedia

Big-step Semantics

Big-Step Semantics is a formal method in programming language semantics that belongs to the class of operational semantics and is distinguished by its direct characterization of program evaluation through relations that map an initial configuration to its final result in a single step, typically written in the form ⟨e, σ⟩ ⇓ v, where expressions are evaluated to values under a given state.

56

Publications

2.2K

Citations

88

Authors

55

Institutions

Publications per year

2017–2026

5

Parents

Publications

56

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

Coinductive big-step operational semantics

Xavier Leroy, Hervé Grall · Information and Computation · 2008 · 179 citations

, , +7

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

A verified compiler for an impure functional language

Adam Chlipala · 2010 · 101 citations

, , +17

1–5 of 56

Authors

88

  1. OD
    Olivier Danvy

    Aarhus University, Denmark

    8 publications · 369 citations

    8

    h-index

  2. DB
    Dariusz Biernacki

    University of Wrocław, Poland

    5 publications · 171 citations

    5

    h-index

  3. TR
    Tiark Rompf

    École Polytechnique Fédérale de Lausanne, Switzerland

    3 publications · 74 citations

    3

    h-index

  4. WT
    Walid Taha

    Rice University, United States

    3 publications · 278 citations

    3

    h-index

  5. KN
    Keiko Nakata

    Tallinn University of Technology, Estonia

    3 publications · 78 citations

    3

    h-index

1–5 of 88

Institutions

55

  1. Aarhus University

    Aarhus, Denmark

    6 h-index

    11 publications

    402 citations

  2. Chalmers University of Technology

    Gothenburg, Sweden

    4 h-index

    4 publications

    177 citations

  3. Tallinn University of Technology

    Tallinn, Estonia

    3 h-index

    5 publications

    128 citations

  4. Purdue University West Lafayette

    West Lafayette, United States

    3 h-index

    5 publications

    94 citations

  5. Yale University

    New Haven, United States

    2 h-index

    8 publications

    276 citations

  6. Danish National Research Foundation

    Copenhagen, Denmark

    2 h-index

    2 publications

    140 citations

  7. Universidad Complutense de Madrid

    Madrid, Spain

    2 h-index

    4 publications

    52 citations

  8. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    2 h-index

    2 publications

    64 citations

1–8 of 55

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 9 publications · 225 citations

    9

    h-index

  2. BRICS Report Series

    8 publications · 279 citations

    8

    h-index

  3. ACM SIGPLAN Notices

    5 publications · 109 citations

    5

    h-index

  4. Journal of Functional Programming

    3 publications · 83 citations

    3

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 3 publications · 53 citations

    3

    h-index

1–5