Concepedia

Abstraction Mechanisms

Abstraction Mechanisms is a foundational construct in generic programming that enables the separation of algorithmic structure from data-specific details by parameterizing types and operations, thereby supporting reusable and type-safe code through compile-time polymorphism.

1.2K

Publications

65.3K

Citations

2.4K

Authors

688

Institutions

Publications per year

2017–2026

116

Parents

Publications

1.2K

Separation logic: a logic for shared mutable data structures

John Reynolds · 2003 · 2.2K citations

, , +14

Software abstractions: logic, language and analysis

Choice Reviews Online · 2007 · 1.5K citations

, , +11

deal.II—A general-purpose object-oriented finite element library

Wolfgang Bangerth, Ralf Hartmann, Guido Kanschat · ACM Transactions on Mathematical Software · 2007 · 1.2K citations

, , +16

Planning in a hierarchy of abstraction spaces

Earl D. Sacerdoti · Artificial Intelligence · 1974 · 1.2K citations

, , +10

On the Morality of Artificial Agents

Luciano Floridi, J. W. Sanders · Minds and Machines · 2004 · 1.1K citations

, , +14

1–5 of 1.2K

Authors

2.4K

  1. BL
    Barbara Liskov

    Massachusetts Institute of Technology, United States

    12 publications · 2.9K citations

    12

    h-index

  2. SP
    Simon Peyton Jones

    Microsoft Research (United Kingdom), United Kingdom

    13 publications · 687 citations

    12

    h-index

  3. MO
    Martin Odersky

    École Polytechnique Fédérale de Lausanne, Switzerland

    11 publications · 364 citations

    11

    h-index

  4. MS
    Mary Shaw

    Carnegie Mellon University, United States

    8 publications · 1.3K citations

    8

    h-index

  5. GT
    Gary T. Leavens

    Iowa State University, United States

    8 publications · 371 citations

    8

    h-index

1–5 of 2.4K

Institutions

688

  1. Carnegie Mellon University

    Pittsburgh, United States

    29 h-index

    87 publications

    9.2K citations

  2. Microsoft (United States)

    Redmond, United States

    22 h-index

    40 publications

    2.8K citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    20 h-index

    53 publications

    6.8K citations

  4. University of California, Berkeley

    Berkeley, United States

    20 h-index

    51 publications

    5.1K citations

  5. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    19 h-index

    37 publications

    2K citations

  6. University of Edinburgh

    Edinburgh, United Kingdom

    16 h-index

    25 publications

    1.1K citations

  7. University of Pennsylvania

    Philadelphia, United States

    16 h-index

    27 publications

    2.2K citations

  8. Stanford University

    Stanford, United States

    16 h-index

    34 publications

    1.6K citations

1–8 of 688

Venues

  1. ACM SIGPLAN Notices

    53 publications · 2.5K citations

    23

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 30 publications · 4.4K citations

    22

    h-index

  3. The Journal of Physical Chemistry A

    27 publications · 963 citations

    20

    h-index

  4. 19

    h-index

  5. The Journal of Chemical Physics

    18 publications · 722 citations

    17

    h-index

1–5