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
2010
Highly Cited
2010
The Isabelle Collections Framework
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle… 
Highly Cited
2003
Highly Cited
2003
Fundamentals of Computer-Aided Engineering
Foreword.Preface.1. Fundamental Logic and the Definition of Engineering Tasks.Three Types of Inference.Engineering Tasks.A Model… 
2000
2000
On the definition of generic multi-layered ontologies for urban applications
2000
2000
Data Warehouse Administration and Management
Abstract Data warehouses are huge repositories of legacy data. They are usually configured as stars or snowflakes, and their… 
1996
1996
Generalization/Specialization and Role in Object Oriented Conceptual Modeling
Highly Cited
1994
Highly Cited
1994
OUTPUT FEEDBACK CONTROL OF NONMINIMUM-PHASE NONLINEAR PROCESSES
1994
1994
Metadata: a user's view
An analysis is presented of the uses of metadata from four aspects of database operations:(1) search, query, retrieval; (2… 
Highly Cited
1991
Highly Cited
1991
Automating Inductionless Induction Using Test Sets
Highly Cited
1983
Highly Cited
1983
Increasing Modularity and Language-Independency in Automatically Generated Compilers
Highly Cited
1983
Highly Cited
1983
ACE: An Expert System for Telephone Cable Maintenance
ACE, a system for Automated Cable Expertise, is a Knowledge-Based Expert System designed to provide troubleshooting reports 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)