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
2007
Highly Cited
2007
An approach to developing complex database schemas using form types
In this paper we consider an approach to developing complex database schemas. Apart from the theoretical model of the approach… 
Highly Cited
2001
Highly Cited
2001
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism
This paper presents and formally defines the CO-OPN/2 formalism (Concurrent Object-Oriented Petri Net) which is devised for the… 
Highly Cited
1999
Highly Cited
1999
Agent-oriented software engineering
The ATAL workshops focus on the links between the theory and practice of intelligent agents. One aspect of this, which is… 
Highly Cited
1997
Highly Cited
1997
A statistical perspective on data mining
Highly Cited
1994
Highly Cited
1994
TBAG: a high level framework for interactive, animated 3D graphics applications
We present a paradigm and toolkit for rapid prototyping of interactive, animated 3D graphics programs. The paradigm has its roots… 
Highly Cited
1993
Highly Cited
1993
Gill function and mucocyte distribution in Placopecten magellanicus and Mytilus edulis (Mollusca : Bivalvia) : the role of mucus in particle transport
In order to elucidate the role of mucus in particle transport on the gdl in suspensionfeeding bivalves, the mucocyte distribution… 
Review
1988
Review
1988
Program correctness over abstract data types, with error-state semantics
Straight-Line Programs. Preliminaries: Signatures and Structures. The Programming Language. Assertions. Correctness Formulae. A… 
Highly Cited
1984
Highly Cited
1984
Molecular Objects, Abstract Data Types, and Data Models: A Framework
Molecular objects occur frequently in CAD and engineering applications. At higher levels of abstraction they are treated as… 
Highly Cited
1984
Highly Cited
1984
Addison-wesley publishing company
Review
1982
Review
1982
Phylogenetic Relationships within Theinvertebrata in Relation to Thestructure of Septate Junctions and the development of ‘Occluding’ Junctional Types
The structures of 13 variants of invertebrate septate junction are reviewed on the basis offreeze-fracture, lanthanum tracer and… 
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)