Skip to search formSkip to main contentSkip to account menu

Abstract data type

Known as: Abstract datatype, ADT, Abstract data types 
In computer science, an abstract data type (ADT) is a mathematical model for data types where a data type is defined by its behavior (semantics) from… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
Abstract machineAbstract syntaxAbstraction (software engineering)Aliasing (computing)

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2002
Highly Cited
2002
基於《知網》的辭彙語義相似度計算 (Word Similarity Computing Based on How-net) [In Chinese]
Word similarity is broadly used in many applications, such as information retrieval, information extraction 
Highly Cited
2002
Highly Cited
2002
Atomic architectural component recovery for program understanding and evolution
  • R. Koschke
  • International Conference on Software Maintenance…
  • 2002
  • Corpus ID: 15306390
Component recovery and remodularization is a means to get back control on large and complex legacy systems suffering from ad-hoc… 
Highly Cited
1998
Highly Cited
1998
Another metric suite for object-oriented programming
Highly Cited
1994
Highly Cited
1994
Unrefined minimal K-types forp-adic groups
via their restriction to compact open subgroups was begun by Mautner, Shalika and Tanaka for groups of type AI. In contrast to… 
Highly Cited
1993
Highly Cited
1993
A reverse-engineering approach to subsystem structure identification
Reverse-engineering is the process of extracting system abstractions and design information out of existing software systems… 
Highly Cited
1989
Highly Cited
1989
Composing user interfaces with InterViews
The authors describe a user interface toolkit, InterViews, that offers a rich set of composition mechanisms and a variety of… 
Highly Cited
1980
Highly Cited
1980
On proving inductive properties of abstract data types
The equational axioms of an algebraic specification of a data type (such as finite sequences) often can be formed into a… 
Highly Cited
1978
Highly Cited
1978
Abstract data types and software validation
A data abstraction can be naturally specified using algebraic axioms. The virtue of these axioms is that they permit a… 
Highly Cited
1977
Highly Cited
1977
Putting Theories Together to Make Specifications
We have been developing a language in which you can give structured descriptions of theories. Why are we interested in theories… 
Highly Cited
1977
Highly Cited
1977
Abstract data types and the development of data structures
Abstract data types can play a significant role in the development of software that is reliable, efficient, and flexible. This… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)