Concepedia

Operational Semantics

Operational Semantics is a formal method in programming language theory that specifies the meaning of programs by defining the computation as a sequence of syntactic transformations according to a set of rules, distinguishing it from denotational or axiomatic approaches by directly modeling the step-by-step execution behavior of programs.

1.3K

Publications

68.8K

Citations

2K

Authors

646

Institutions

Publications per year

2017–2026

130

Parents

Publications

1.3K

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

, , +6

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

, , +16

Semantics and complexity of SPARQL

Jorge Eduardo Pérez Pérez, Marcelo Arenas, Claudio Gutiérrez · ACM Transactions on Database Systems · 2009 · 1.1K citations · Full text

, , +13

Featherweight Java

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler · ACM Transactions on Programming Languages and Systems · 2001 · 1K citations · Full text

, , +16

The chemical abstract machine

Gérard Berry, Gérard Boudol · Theoretical Computer Science · 1992 · 817 citations

, , +16

1–5 of 1.3K

Authors

2K

  1. DM
    Dale Miller

    University of Pennsylvania, United States

    14 publications · 1.3K citations

    13

    h-index

  2. GR
    Grigore Roşu

    University of Illinois Urbana-Champaign, United States

    14 publications · 484 citations

    13

    h-index

  3. OD
    Olivier Danvy

    Aarhus University, Denmark

    13 publications · 642 citations

    13

    h-index

  4. GP
    Gordon Plotkin

    University of Edinburgh, United Kingdom

    13 publications · 3.7K citations

    11

    h-index

  5. FP
    Frank Pfenning

    Carnegie Mellon University, United States

    11 publications · 1.2K citations

    11

    h-index

1–5 of 2K

Institutions

646

  1. Carnegie Mellon University

    Pittsburgh, United States

    25 h-index

    57 publications

    3.7K citations

  2. University of Edinburgh

    Edinburgh, United Kingdom

    24 h-index

    50 publications

    6.1K citations

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

    Le Chesnay-Rocquencourt, France

    23 h-index

    79 publications

    4.8K citations

  4. Aarhus University

    Aarhus, Denmark

    21 h-index

    43 publications

    1.7K citations

  5. University of Cambridge

    Cambridge, United Kingdom

    21 h-index

    60 publications

    2.2K citations

  6. University of Pennsylvania

    Philadelphia, United States

    20 h-index

    48 publications

    4.9K citations

  7. University of Pisa

    Pisa, Italy

    18 h-index

    59 publications

    3K citations

  8. University of Illinois Urbana-Champaign

    Urbana, United States

    17 h-index

    53 publications

    2.6K citations

1–8 of 646

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 108 publications · 3K citations

    31

    h-index

  2. 27

    h-index

  3. Journal of Functional Programming

    30 publications · 2.1K citations

    22

    h-index

  4. ACM SIGPLAN Notices

    43 publications · 1.5K citations

    20

    h-index

  5. Theoretical Computer Science

    29 publications · 2.1K citations

    19

    h-index

1–5