Concepedia

Collecting Semantics

Collecting Semantics is a formal framework in programming language theory that specifies the computational behavior of programs by collecting the set of all possible execution states, distinguished from other semantic models by representing program meaning as a comprehensive collection of runtime states over transitions.

99

Publications

4.5K

Citations

192

Authors

89

Institutions

Publications per year

2017–2026

7

Parents

Publications

99

On the expressive power of programming languages

Matthias Felleisen · Science of Computer Programming · 1991 · 303 citations

, , +13

Fundamental Concepts in Programming Languages

C. Strachey · LISP and Symbolic Computation · 2000 · 278 citations

, , +13

A practical framework for theabstract interpretation of logic programs

Maurice Bruynooghe · The Journal of Logic Programming · 1991 · 250 citations · Full text

, , +13

Automatic synthesis of typed Λ-programs on term algebras

Corrado Böhm, Alessandro Berarducci · Theoretical Computer Science · 1985 · 230 citations

, , +15

Declarative modeling of the operational behavior of logic languages

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi et al. · Theoretical Computer Science · 1989 · 199 citations

, , +15

1–5 of 99

Authors

192

  1. GL
    Giorgio Levi

    University of Pisa, Italy

    4 publications · 316 citations

    4

    h-index

  2. PH
    Paul Hudak

    Yale University, United States

    3 publications · 61 citations

    3

    h-index

  3. MB
    Maurice Bruynooghe

    KU Leuven, Belgium

    3 publications · 301 citations

    3

    h-index

  4. ME
    Marc Eisenstadt

    The Open University, United Kingdom

    3 publications · 94 citations

    3

    h-index

  5. CP
    Catuscia Palamidessi

    Laboratoire d'Informatique de l'École Polytechnique, France

    3 publications · 226 citations

    3

    h-index

1–5 of 192

Institutions

89

  1. University of Pisa

    Pisa, Italy

    8 h-index

    16 publications

    968 citations

  2. Technical University of Munich

    Munich, Germany

    4 h-index

    19 publications

    678 citations

  3. KU Leuven

    Leuven, Belgium

    3 h-index

    5 publications

    316 citations

  4. Yale University

    New Haven, United States

    3 h-index

    5 publications

    102 citations

  5. Laboratoire d'Informatique de l'École Polytechnique

    Palaiseau, France

    2 h-index

    2 publications

    138 citations

  6. Goldsmiths University of London

    London, United Kingdom

    2 h-index

    3 publications

    33 citations

  7. Universidad Politécnica de Madrid

    Madrid, Spain

    2 h-index

    3 publications

    53 citations

  8. University of Siena

    Siena, Italy

    2 h-index

    2 publications

    27 citations

1–8 of 89

Venues

  1. The Journal of Logic Programming

    9 publications · 493 citations

    9

    h-index

  2. Theoretical Computer Science

    8 publications · 610 citations

    8

    h-index

  3. Science of Computer Programming

    6 publications · 404 citations

    6

    h-index

  4. Information and Computation

    4 publications · 170 citations

    4

    h-index

  5. Formal Aspects of Computing

    3 publications · 149 citations

    3

    h-index

1–5