Knowra Abstract data type Abstract data type An abstract data type specifies a set of values and permitted operations without prescribing how they are represented or implemented. Its behavior is defined by the operations’ effects and rules.
Data type : A classification that defines possible values and the operations permitted on them. An abstract data type refines this idea by specifying behavior without fixing representation.
Abstract data type specification : A formal description of an abstract data type’s values, operations, and behavioral rules. It states the promises that every implementation of the type must satisfy.
Stack (abstract data type) : A collection type that adds and removes elements at one end, following last-in, first-out order. Its push and pop operations define behavior without requiring a particular storage layout.
Barbara Liskov : An American computer scientist known for work on programming languages, data abstraction, and software design. Her work helped establish data abstraction as a disciplined method for structuring programs.
Object (computer science) : A software entity that combines state with operations that act on that state. Objects can implement abstract data types, but object-oriented features are not required by the concept.
Interface (computing) : A defined boundary through which software components or users access functionality. An abstract data type presents its permitted operations through an interface.
Axiom : A statement accepted as a starting assumption within a formal system. Axioms can express operation laws, such as how insertion and removal interact.
Queue (abstract data type) : A collection type that adds elements at one end and removes them from the other, following first-in, first-out order. Its ordering rule is independent of whether the queue uses an array or linked nodes.
John McCarthy : An American computer scientist who created Lisp and contributed foundational ideas to artificial intelligence and programming languages. Lisp’s use of structured data and operations forms part of the setting for early abstraction ideas.
Class (computer programming) : A programming-language construct that defines the state and behavior of objects or instances. A class is one possible implementation mechanism, not the abstract specification itself.
Show all 25