Concepedia

Abstract Types

Abstract Types is a type system construct that specifies a type with an opaque interface, allowing its values to be manipulated only through a defined set of operations without exposing its concrete implementation.

533

Publications

36K

Citations

874

Authors

326

Institutions

Publications per year

2017–2026

23

Parents

Publications

533

Linearizability: a correctness condition for concurrent objects

Maurice Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1990 · 3.2K citations · Full text

, , +16

MULTILISP: a language for concurrent symbolic computation

Robert H. Halstead · ACM Transactions on Programming Languages and Systems · 1985 · 1.1K citations · Full text

, , +16

How to make ad-hoc polymorphism less ad hoc

Philip Wadler, Stephen Blott · 1989 · 770 citations · Full text

, , +16

A foundation for representing and querying moving objects

Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig et al. · ACM Transactions on Database Systems · 2000 · 756 citations · Full text

, , +16

Programming with abstract data types

Barbara Liskov, Stephen N. Zilles · 1974 · 736 citations · Full text

, , +10

1–5 of 533

Authors

874

  1. WE
    William E. Weihl

    Massachusetts Institute of Technology, United States

    11 publications · 972 citations

    10

    h-index

  2. JV
    John V. Guttag

    Massachusetts Institute of Technology, United States

    10 publications · 1.9K citations

    10

    h-index

  3. DD
    Derek Dreyer

    Max Planck Institute for Software Systems, Germany

    9 publications · 443 citations

    9

    h-index

  4. MH
    Maurice Herlihy

    Brown University, United States

    8 publications · 3.8K citations

    8

    h-index

  5. BL
    Barbara Liskov

    Massachusetts Institute of Technology, United States

    7 publications · 1.6K citations

    7

    h-index

1–5 of 874

Institutions

326

  1. Massachusetts Institute of Technology

    Cambridge, United States

    24 h-index

    34 publications

    4.3K citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    16 h-index

    35 publications

    9K citations

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

    Le Chesnay-Rocquencourt, France

    15 h-index

    29 publications

    1.5K citations

  4. University of Pennsylvania

    Philadelphia, United States

    11 h-index

    18 publications

    1.2K citations

  5. Stanford University

    Stanford, United States

    11 h-index

    19 publications

    1.5K citations

  6. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    9 h-index

    22 publications

    1.1K citations

  7. Cornell University

    Ithaca, United States

    8 h-index

    16 publications

    3.4K citations

  8. University of Oxford

    Oxford, United Kingdom

    8 h-index

    11 publications

    382 citations

1–8 of 326

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 24 publications · 1.5K citations

    17

    h-index

  2. 16

    h-index

  3. ACM SIGPLAN Notices

    27 publications · 1.5K citations

    16

    h-index

  4. Theoretical Computer Science

    13 publications · 738 citations

    13

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 13 publications · 213 citations

    11

    h-index

1–5