Concepedia

Abstract Data Types

Abstract Data Type is a mathematical model in computer science that specifies a type of data structure through its behavior and operations, distinguished from other data types by encapsulating the data and defining its interface independently of its implementation.

571

Publications

41.8K

Citations

989

Authors

334

Institutions

Publications per year

2017–2026

21

Parents

Publications

571

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

Separation logic: a logic for shared mutable data structures

John Reynolds · 2003 · 2.2K citations

, , +14

MULTILISP: a language for concurrent symbolic computation

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

, , +16

Term rewriting systems

Jan Willem Klop · Data Archiving and Networked Services (DANS) · 1990 · 783 citations

, , +14

How to make ad-hoc polymorphism less ad hoc

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

, , +16

1–5 of 571

Authors

989

  1. MH
    Maurice Herlihy

    Brown University, United States

    11 publications · 4.1K citations

    11

    h-index

  2. WE
    William E. Weihl

    Massachusetts Institute of Technology, United States

    12 publications · 1.1K citations

    11

    h-index

  3. JV
    John V. Guttag

    Massachusetts Institute of Technology, United States

    9 publications · 1.9K citations

    9

    h-index

  4. MJ
    Michael J. Carey

    University of Wisconsin–Madison, United States

    7 publications · 691 citations

    7

    h-index

  5. BL
    Barbara Liskov

    Massachusetts Institute of Technology, United States

    7 publications · 1.6K citations

    7

    h-index

1–5 of 989

Institutions

334

  1. Massachusetts Institute of Technology

    Cambridge, United States

    24 h-index

    36 publications

    4.5K citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    18 h-index

    39 publications

    11.5K citations

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

    Le Chesnay-Rocquencourt, France

    13 h-index

    22 publications

    1.1K citations

  4. Stanford University

    Stanford, United States

    11 h-index

    17 publications

    1.5K citations

  5. University of Oxford

    Oxford, United Kingdom

    10 h-index

    17 publications

    851 citations

  6. University of Southern California

    Los Angeles, United States

    9 h-index

    15 publications

    2.8K citations

  7. SRI International

    Menlo Park, United States

    9 h-index

    13 publications

    1K citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    8 h-index

    9 publications

    328 citations

1–8 of 334

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 31 publications · 1.9K citations

    20

    h-index

  2. ACM SIGPLAN Notices

    24 publications · 1.4K citations

    16

    h-index

  3. 13

    h-index

  4. Software Practice and Experience

    10 publications · 552 citations

    10

    h-index

  5. Communications of the ACM

    9 publications · 1.2K citations

    9

    h-index

1–5