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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Abstract: Graph-structured data appears frequently in domains including chemistry, natural language semantics, social networks… 
Highly Cited
2011
Highly Cited
2011
Replicating data under Eventual Consistency (EC) allows any replica to accept updates without remote synchronisation. This… 
Highly Cited
2007
Highly Cited
2007
We give an equational specification of the field operations on the rational numbers under initial algebra semantics using just… 
Highly Cited
2006
Highly Cited
2006
Climate change and climate variability, population growth, and land use change drive the need for new hydrologic knowledge and… 
Review
2003
Review
2003
1 Introduction.- 1.1 Goals of the Book and Contours of its Method.- 1.1.1 Stepwise Refinable Abstract Operational Modeling.- 1.1… 
Review
2002
Review
2002
  • J. C. Reynolds
  • Proceedings 17th Annual IEEE Symposium on Logic…
  • 2002
  • Corpus ID: 6271346
In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that… 
Review
1988
Review
1988
Abstract data type declarations appear in typed programming languages like Ada, Alphard, CLU and ML. This form of declaration… 
Review
1985
Review
1985
Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming… 
Highly Cited
1978
Highly Cited
1978
A data abstraction can be naturally specified using algebraic axioms. The virtue of these axioms is that they permit a… 
Highly Cited
1974
Highly Cited
1974
The motivation behind the work in very-high-level languages is to ease the programming task by providing the programmer with a…