Concepedia

Runtime Semantics

Runtime Semantics is the formal specification of the dynamic behavior and state transitions of an executable system model during execution, distinguishing it from static structural definitions by capturing how computational events and interactions unfold over time.

293

Publications

12.6K

Citations

745

Authors

269

Institutions

Publications per year

2017–2026

44

Parents

Publications

293

Fine-grained mobility in the Emerald system

Eric Jul, Henry M. Levy, Norman C. Hutchinson et al. · ACM Transactions on Computer Systems · 1988 · 733 citations · Full text

, , +13

Static determination of dynamic properties of programs

Patrick Cousot, Radhia Cousot · 1976 · 473 citations

, , +14

Context-oriented Programming.

Robert Hirschfeld, Pascal Costanza, Oscar Nierstrasz · The Journal of Object Technology · 2008 · 457 citations · Full text

, , +12

Version 3 of RunDec and CRunDec

Florian Herren, Matthias Steinhauser · Computer Physics Communications · 2017 · 273 citations · Full text

, , +6

Alpaca: intermittent execution without checkpoints

Kiwan Maeng, Alexei Colin, Brandon Lucia · Proceedings of the ACM on Programming Languages · 2017 · 252 citations · Full text

, , +14

1–5 of 293

Authors

745

  1. ÉT
    Éric Tanter

    University of Chile, Chile

    5 publications · 208 citations

    5

    h-index

  2. YF
    Ylìès Falcone

    Université Grenoble Alpes, France

    4 publications · 185 citations

    4

    h-index

  3. TR
    Thomas Reps

    University of Wisconsin–Madison, United States

    4 publications · 183 citations

    4

    h-index

  4. FO
    Francisco Ortín

    Universidad de Oviedo, Spain

    4 publications · 68 citations

    4

    h-index

  5. RW
    Reinhard Wilhelm

    Saarland University, Germany

    4 publications · 208 citations

    4

    h-index

1–5 of 745

Institutions

269

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

    Le Chesnay-Rocquencourt, France

    10 h-index

    23 publications

    1.1K citations

  2. University of Pisa

    Pisa, Italy

    9 h-index

    16 publications

    385 citations

  3. Palo Alto Research Center

    Palo Alto, United States

    7 h-index

    20 publications

    2.1K citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    7 h-index

    13 publications

    777 citations

  5. ETH Zurich

    Zurich, Switzerland

    7 h-index

    8 publications

    356 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    11 publications

    547 citations

  7. University of Waterloo

    Waterloo, Canada

    7 h-index

    8 publications

    325 citations

  8. University of Illinois Urbana-Champaign

    Urbana, United States

    6 h-index

    6 publications

    752 citations

1–8 of 269

Venues

  1. ACM SIGPLAN Notices

    12 publications · 577 citations

    11

    h-index

  2. Journal of Systems and Software

    JSS · 8 publications · 507 citations

    8

    h-index

  3. 8

    h-index

  4. Proceedings of the ACM on Programming Languages

    PACMPL · 7 publications · 423 citations

    7

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 6 publications · 120 citations

    6

    h-index

1–5