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… 
Highly Cited
2001
Highly Cited
2001
Colif: A Design Representation for Application-Specific Multiprocessor SOCs
By separating component behavior and communication infrastructure and spanning multiple abstraction levels, Colif lets designers… 
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… 
1998
1998
Unifying Concurrency Control and Recovery of Transactions with Semantically Rich Operations
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
Highly Cited
1991
Highly Cited
1991
Automating Inductionless Induction Using Test Sets
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… 
Highly Cited
1983
Highly Cited
1983
Increasing Modularity and Language-Independency in Automatically Generated Compilers
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)