Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Abstract_data_type> ?p ?o }
- Abstract_data_type abstract "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 the point of view of a user of the data, specifically in terms of possible values, possible operations on data of this type, and the behavior of these operations. This contrasts with data structures, which are concrete representations of data, and are the point of view of an implementer, not a user.Formally, an ADT may be defined as a \"class of objects whose logical behavior is defined by a set of values and a set of operations\"; this is analogous to an algebraic structure in mathematics. What is meant by \"behavior\" varies by author, with the two main types of formal specifications for behavior being axiomatic (algebraic) specification and an abstract model; these correspond to axiomatic semantics and operational semantics of an abstract machine, respectively. Some authors also include the computational complexity (\"cost\"), both in terms of time (for computing operations) and space (for representing values).In practice many common data types are not ADTs, as the abstraction is not perfect, and users must be aware of issues like arithmetic overflow that are due to the representation. For example, integers are often stored as fixed width values (32-bit or 64-bit binary numbers), and thus experience integer overflow if the maximum value is exceeded.ADTs are a theoretical concept in computer science, used in the design and analysis of algorithms, data structures, and software systems, and do not correspond to specific features of computer languages—mainstream computer languages do not directly support formally specified ADTs. However, various language features correspond to certain aspects of ADTs, and are easily confused with ADTs proper; these include abstract types, opaque data types, protocols, and design by contract. ADTs were first proposed by Barbara Liskov and Stephen N. Zilles in 1974, as part of the development of the CLU language.".
- Abstract_data_type wikiPageExternalLink abstractDataType.html.
- Abstract_data_type wikiPageID "2349".
- Abstract_data_type wikiPageLength "32148".
- Abstract_data_type wikiPageOutDegree "103".
- Abstract_data_type wikiPageRevisionID "700691849".
- Abstract_data_type wikiPageWikiLink AWK.
- Abstract_data_type wikiPageWikiLink Abstract_graphical_data_type.
- Abstract_data_type wikiPageWikiLink Abstract_machine.
- Abstract_data_type wikiPageWikiLink Abstract_type.
- Abstract_data_type wikiPageWikiLink Abstraction_(computer_science).
- Abstract_data_type wikiPageWikiLink Alexander_Stepanov.
- Abstract_data_type wikiPageWikiLink Algebraic_structure.
- Abstract_data_type wikiPageWikiLink Aliasing_(computing).
- Abstract_data_type wikiPageWikiLink Analysis_of_algorithms.
- Abstract_data_type wikiPageWikiLink Arithmetic_overflow.
- Abstract_data_type wikiPageWikiLink Array_data_structure.
- Abstract_data_type wikiPageWikiLink Associative_array.
- Abstract_data_type wikiPageWikiLink Axiomatic_semantics.
- Abstract_data_type wikiPageWikiLink Barbara_Liskov.
- Abstract_data_type wikiPageWikiLink Binary-coded_decimal.
- Abstract_data_type wikiPageWikiLink Binary_number.
- Abstract_data_type wikiPageWikiLink Boolean_data_type.
- Abstract_data_type wikiPageWikiLink C++.
- Abstract_data_type wikiPageWikiLink CLU_(programming_language).
- Abstract_data_type wikiPageWikiLink C_(programming_language).
- Abstract_data_type wikiPageWikiLink Category:Abstract_data_types.
- Abstract_data_type wikiPageWikiLink Category:Data_types.
- Abstract_data_type wikiPageWikiLink Category:Type_theory.
- Abstract_data_type wikiPageWikiLink Class_(computer_programming).
- Abstract_data_type wikiPageWikiLink Client_(computing).
- Abstract_data_type wikiPageWikiLink Comment_(computer_programming).
- Abstract_data_type wikiPageWikiLink Computational_complexity_theory.
- Abstract_data_type wikiPageWikiLink Computer_language.
- Abstract_data_type wikiPageWikiLink Computer_science.
- Abstract_data_type wikiPageWikiLink Concept_(generic_programming).
- Abstract_data_type wikiPageWikiLink Container_(abstract_data_type).
- Abstract_data_type wikiPageWikiLink Daniel_Thalmann.
- Abstract_data_type wikiPageWikiLink Data_structure.
- Abstract_data_type wikiPageWikiLink Data_type.
- Abstract_data_type wikiPageWikiLink Design_by_contract.
- Abstract_data_type wikiPageWikiLink Division_(mathematics).
- Abstract_data_type wikiPageWikiLink Donald_Knuth.
- Abstract_data_type wikiPageWikiLink Double-ended_priority_queue.
- Abstract_data_type wikiPageWikiLink Double-ended_queue.
- Abstract_data_type wikiPageWikiLink Formal_methods.
- Abstract_data_type wikiPageWikiLink Function_(mathematics).
- Abstract_data_type wikiPageWikiLink Functional_programming.
- Abstract_data_type wikiPageWikiLink Functional_specification.
- Abstract_data_type wikiPageWikiLink Generalized_algebraic_data_type.
- Abstract_data_type wikiPageWikiLink Graph_(abstract_data_type).
- Abstract_data_type wikiPageWikiLink Handle_(computing).
- Abstract_data_type wikiPageWikiLink Hash_consing.
- Abstract_data_type wikiPageWikiLink Hash_function.
- Abstract_data_type wikiPageWikiLink If_and_only_if.
- Abstract_data_type wikiPageWikiLink Imperative_programming.
- Abstract_data_type wikiPageWikiLink Implementation.
- Abstract_data_type wikiPageWikiLink Information_hiding.
- Abstract_data_type wikiPageWikiLink Initial_algebra.
- Abstract_data_type wikiPageWikiLink Integer.
- Abstract_data_type wikiPageWikiLink Integer_overflow.
- Abstract_data_type wikiPageWikiLink Interface_(computing).
- Abstract_data_type wikiPageWikiLink Java_(programming_language).
- Abstract_data_type wikiPageWikiLink Linked_list.
- Abstract_data_type wikiPageWikiLink Liskov_substitution_principle.
- Abstract_data_type wikiPageWikiLink List_(abstract_data_type).
- Abstract_data_type wikiPageWikiLink Lua_(programming_language).
- Abstract_data_type wikiPageWikiLink Mathematical_model.
- Abstract_data_type wikiPageWikiLink Method_(computer_programming).
- Abstract_data_type wikiPageWikiLink Modular_programming.
- Abstract_data_type wikiPageWikiLink Multimap.
- Abstract_data_type wikiPageWikiLink Nadia_Magnenat_Thalmann.
- Abstract_data_type wikiPageWikiLink National_Institute_of_Standards_and_Technology.
- Abstract_data_type wikiPageWikiLink Object-oriented_programming.
- Abstract_data_type wikiPageWikiLink Object_(computer_science).
- Abstract_data_type wikiPageWikiLink Ones_complement.
- Abstract_data_type wikiPageWikiLink Opaque_data_type.
- Abstract_data_type wikiPageWikiLink Operational_semantics.
- Abstract_data_type wikiPageWikiLink Perl.
- Abstract_data_type wikiPageWikiLink Priority_queue.
- Abstract_data_type wikiPageWikiLink Protocol_(object-oriented_programming).
- Abstract_data_type wikiPageWikiLink Queue_(abstract_data_type).
- Abstract_data_type wikiPageWikiLink Record_(computer_science).
- Abstract_data_type wikiPageWikiLink Semantics_(computer_science).
- Abstract_data_type wikiPageWikiLink Set_(abstract_data_type).
- Abstract_data_type wikiPageWikiLink Side_effect_(computer_science).
- Abstract_data_type wikiPageWikiLink Software_engineering.
- Abstract_data_type wikiPageWikiLink Specification_language.
- Abstract_data_type wikiPageWikiLink Stack_(abstract_data_type).
- Abstract_data_type wikiPageWikiLink Standard_Template_Library.
- Abstract_data_type wikiPageWikiLink Subroutine.
- Abstract_data_type wikiPageWikiLink The_Art_of_Computer_Programming.
- Abstract_data_type wikiPageWikiLink Twos_complement.
- Abstract_data_type wikiPageWikiLink Type_system.
- Abstract_data_type wikiPageWikiLink Type_theory.
- Abstract_data_type wikiPageWikiLink Walls_and_Mirrors.
- Abstract_data_type wikiPageWikiLinkText "ADT".
- Abstract_data_type wikiPageWikiLinkText "Abstract data type".
- Abstract_data_type wikiPageWikiLinkText "Abstract types".
- Abstract_data_type wikiPageWikiLinkText "abstract data structures".