Concepedia

Trace Semantics

Trace Semantics is a formal method in programming language theory that characterizes the behavior of a program by defining its meaning as the set of all possible sequences of observable actions, or traces, it can produce during execution, thereby distinguishing it from other denotational or operational approaches by focusing on external behavior over internal state transitions.

164

Publications

6.6K

Citations

273

Authors

153

Institutions

Publications per year

2017–2026

19

Parents

Publications

164

Concurrent Program Schemes and their Interpretations

Antoni Mazurkiewicz · DAIMI Report Series · 1977 · 570 citations · Full text

, , +15

Linear temporal logic and linear dynamic logic on finite traces

Giuseppe De Giacomo, Moshe Y. Vardi · Rice Digital Scholarship Archive (Rice University) · 2013 · 432 citations · Full text

, , +15

Adding trace matching with free variables to AspectJ

Chris Allan, Pavel Avgustinov, Aske Simon Christensen et al. · 2005 · 427 citations

, , +13

Data flow analysis is model checking of abstract interpretations

David A. Schmidt · 1998 · 189 citations

, , +16

Systematic design of program transformation frameworks by abstract interpretation

Patrick Cousot, Radhia Cousot · 2002 · 156 citations

, , +15

1–5 of 164

Authors

273

  1. VD
    Volker Diekert

    University of Stuttgart, Germany

    6 publications · 89 citations

    6

    h-index

  2. SJ
    Somesh Jha

    University of Wisconsin–Madison, United States

    5 publications · 343 citations

    5

    h-index

  3. MP
    Marco Patrignani

    Helmholtz Center for Information Security, Germany

    4 publications · 111 citations

    4

    h-index

  4. PC
    Patrick Cousot

    École Normale Supérieure - PSL, France

    4 publications · 349 citations

    4

    h-index

  5. BJ
    Bart Jacobs

    Radboud University Nijmegen, Netherlands

    4 publications · 186 citations

    4

    h-index

1–5 of 273

Institutions

153

  1. Carnegie Mellon University

    Pittsburgh, United States

    8 h-index

    13 publications

    315 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    8 h-index

    9 publications

    331 citations

  3. Radboud University Nijmegen

    Nijmegen, The Netherlands

    6 h-index

    9 publications

    402 citations

  4. University of Verona

    Verona, Italy

    6 h-index

    7 publications

    365 citations

  5. Aarhus University

    Aarhus, Denmark

    5 h-index

    9 publications

    646 citations

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

    Le Chesnay-Rocquencourt, France

    4 h-index

    8 publications

    311 citations

  7. Technical University of Munich

    Munich, Germany

    4 h-index

    7 publications

    114 citations

  8. Danish National Research Foundation

    Copenhagen, Denmark

    4 h-index

    6 publications

    134 citations

1–8 of 153

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 17 publications · 428 citations

    13

    h-index

  2. Logical Methods in Computer Science

    LMCS · 7 publications · 268 citations

    7

    h-index

  3. Theoretical Computer Science

    6 publications · 183 citations

    6

    h-index

  4. ACM SIGPLAN Notices

    4 publications · 283 citations

    4

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 3 publications · 147 citations

    3

    h-index

1–5