Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,923,096 papers from all fields of science
Search
Sign In
Create Free Account
Abstract data type
Known as:
Abstract datatype
, ADT
, Abstract data types
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
Abstract machine
Abstract syntax
Abstraction (software engineering)
Aliasing (computing)
Expand
Broader (1)
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
COMPLEXITY, CYBERNETICS, AND INFORMING SCIENCE: BUILDING A BETTER MOUSETRAP 1
T. Gill
2013
Corpus ID: 29306026
Our decision-making and task environments are driven by three forms of complexity: complexity as we experience it internally (e.g…
Expand
2004
2004
Actor-oriented models for codesign: balancing re-use and performance
Edward A. Lee
,
S. Neuendorffer
2004
Corpus ID: 2000912
Most current hardware engineering practice is deeply rooted in discrete-event modeling and synchronous design. Most current…
Expand
Highly Cited
2003
Highly Cited
2003
Fundamentals of Computer-Aided Engineering
B. Raphael
,
I. Smith
2003
Corpus ID: 267884239
Foreword.Preface.1. Fundamental Logic and the Definition of Engineering Tasks.Three Types of Inference.Engineering Tasks.A Model…
Expand
2003
2003
DIFFERENCES AMONG THE DATA MODELS USED BY THE GEOGRAPHIC INFORMATION SYSTEMS AND ATMOSPHERIC SCIENCE COMMUNITIES
S. Nativi
,
M. Blumenthal
,
+6 authors
J. Weber
2003
Corpus ID: 16412323
In the Earth science disciplines, both the observational instrumentation and numerical forecasting technology used to generate…
Expand
1999
1999
Rationale and design of the European Computerized Human Brain Database System
J. Fredriksson
,
P. Roland
,
P. Svensson
Proceedings. Eleventh International Conference on…
1999
Corpus ID: 18756252
The European Computerized Human Brain Database (ECHBD) is an innovative approach to neuroscience, where state-of-the-art database…
Expand
1994
1994
ADVcharts: a visual formalism for interactive systems
L. M. F. Carneiro
,
D. Cowan
,
C. Lucena
SGCH
1994
Corpus ID: 16911908
This paper introduces a new visual formalism, called ADV-charts, for specifying the behavior of interactive systems (including…
Expand
Highly Cited
1983
Highly Cited
1983
ACE: An Expert System for Telephone Cable Maintenance
Gregg T. Vesonder
,
S. Stolfo
,
J. E. Zielinski
,
F. Miller
,
D. H. Copp
International Joint Conference on Artificial…
1983
Corpus ID: 18632956
ACE, a system for Automated Cable Expertise, is a Knowledge-Based Expert System designed to provide troubleshooting reports and…
Expand
Highly Cited
1980
Highly Cited
1980
A distributed abstract data type implemented by a probabilistic communication scheme
N. Francez
,
M. Rodeh
21st Annual Symposium on Foundations of Computer…
1980
Corpus ID: 746841
From the users' point of view, resource management schemes may be considered as an abstract data type. An abstract specification…
Expand
1978
1978
Information systems: Modelling, sequencing and transformations
Michael Jackson
International Conference on Software Engineering
1978
Corpus ID: 15354444
Specification and design of an information system conventionally starts from consideration of the system function. This paper…
Expand
1978
1978
ABSTRACT DATA TYPE SPECIFICATIONS
H. Ehrich
1978
Corpus ID: 124646461
Equational specifications of abstract data types are related by morphisms to form a category s~ of specifications. Extensions are…
Expand