Concepedia

Program Interpretation

Program Interpretation is a scholarly framework within the domain of programmatic music that specifies how extramusical narratives or thematic content are systematically translated into musical structures and expressive elements.

86

Publications

14.3K

Citations

166

Authors

78

Institutions

Publications per year

2017–2026

15

Parents

Publications

86

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

, , +8

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

, , +7

The synchronous data flow programming language LUSTRE

Nicolas Halbwachs, P. Caspi, Pascal Raymond et al. · Proceedings of the IEEE · 1991 · 1.5K citations · Full text

, , +15

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 577 citations

, , +13

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · 2003 · 312 citations · Full text

, , +13

1–5 of 86

Authors

166

  1. RC
    Radhia Cousot

    École Polytechnique, France

    6 publications · 7.3K citations

    6

    h-index

  2. PC
    Patrick Cousot

    École Normale Supérieure - PSL, France

    6 publications · 7.3K citations

    6

    h-index

  3. PV
    Paul Vickers

    Northumbria University, United Kingdom

    5 publications · 173 citations

    5

    h-index

  4. DM
    David Monniaux

    Verimag, France

    3 publications · 976 citations

    3

    h-index

  5. AM
    Antoine Miné

    École Normale Supérieure - PSL, France

    3 publications · 976 citations

    3

    h-index

1–5 of 166

Institutions

78

  1. École Normale Supérieure

    Bujumbura, Burundi

    3 h-index

    21 publications

    6.8K citations

  2. Princeton University

    Princeton, United States

    3 h-index

    5 publications

    86 citations

  3. Centre National pour la Recherche Scientifique et Technique (CNRST)

    Rabat, Morocco

    3 h-index

    9 publications

    2.9K citations

  4. University of California, Los Angeles

    Los Angeles, United States

    2 h-index

    2 publications

    38 citations

  5. Brown University

    Providence, United States

    2 h-index

    2 publications

    151 citations

  6. University College London

    London, United Kingdom

    2 h-index

    2 publications

    148 citations

  7. Durham University

    Durham, United Kingdom

    2 h-index

    6 publications

    330 citations

  8. Northumbria University

    Newcastle upon Tyne, United Kingdom

    2 h-index

    2 publications

    108 citations

1–8 of 78

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 3 publications · 226 citations

    3

    h-index

  2. ACM SIGPLAN Notices

    3 publications · 606 citations

    3

    h-index

  3. 3

    h-index

  4. Computers & Mathematics with Applications

    2 publications · 341 citations

    2

    h-index

  5. ACM Transactions on Computational Logic

    TOCL · 2 publications · 49 citations

    2

    h-index

1–5