Concepedia

Abstract Machines

Abstract Machines is a theoretical computational model that specifies the abstract execution environment for interpreting high-level programming languages by formally defining the states, transitions, and operations governing program evaluation.

394

Publications

39.5K

Citations

614

Authors

248

Institutions

Publications per year

2017–2026

50

Variants

Abstract Machine

Parents

Publications

394

A Thousand Plateaus: Capitalism and Schizophrenia

Sander L. Gilman, Gilles Deleuze, Félix Guattari et al. · The Journal of Interdisciplinary History · 1989 · 22.8K citations

, , +9

The chemical abstract machine

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

, , +16

A new implementation technique for applicative languages

David A. Turner · Software Practice and Experience · 1979 · 612 citations

, , +12

Sequential abstract-state machines capture sequential algorithms

Yuri Gurevich · ACM Transactions on Computational Logic · 2000 · 463 citations · Full text

, , +12

A natural semantics for lazy evaluation

John Launchbury · 1993 · 377 citations

, , +11

1–5 of 394

Authors

614

  1. OD
    Olivier Danvy

    Aarhus University, Denmark

    25 publications · 1.2K citations

    19

    h-index

  2. YG
    Yuri Gurevich

    University of Michigan, United States

    19 publications · 1.3K citations

    14

    h-index

  3. ER
    Elvinia Riccobene

    University of Milan, Italy

    13 publications · 703 citations

    12

    h-index

  4. PS
    Patrizia Scandurra

    University of Bergamo, Italy

    10 publications · 548 citations

    10

    h-index

  5. AB
    Andreas Blass

    University of Michigan, United States

    9 publications · 393 citations

    9

    h-index

1–5 of 614

Institutions

248

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

    Le Chesnay-Rocquencourt, France

    14 h-index

    32 publications

    1.9K citations

  2. Aarhus University

    Aarhus, Denmark

    14 h-index

    25 publications

    1.7K citations

  3. Microsoft (United States)

    Redmond, United States

    13 h-index

    23 publications

    2.2K citations

  4. University of Michigan

    Ann Arbor, United States

    11 h-index

    16 publications

    531 citations

  5. University of Bergamo

    Bergamo, Italy

    11 h-index

    18 publications

    1.2K citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    10 h-index

    18 publications

    559 citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    9 h-index

    12 publications

    546 citations

  8. University of Utah

    Salt Lake City, United States

    8 h-index

    10 publications

    355 citations

1–8 of 248

Venues

  1. BRICS Report Series

    17 publications · 506 citations

    14

    h-index

  2. Zenodo (CERN European Organization for Nuclear Research)

    Repository · 14 publications · 533 citations

    13

    h-index

  3. Journal of Functional Programming

    15 publications · 1.3K citations

    13

    h-index

  4. Theoretical Computer Science

    12 publications · 1.4K citations

    12

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 11 publications · 186 citations

    11

    h-index

1–5