Results 191 to 200 of about 33,954 (218)

Specification of Abstract Data Types

1985
In the last chapter we have introduced algebraic specifications and algebras satisfying the given equations. In general there are many different algebras for each specification SPEC. In this chapter we want to consider a distinguished algebra, the quotient term algebra T SPEC, which is generated by its operations and satisfies some ground equations E ...
Bernd Mahr, Hartmut Ehrig
openaire   +2 more sources

Verifying abstract data types with SNOBOL4

Software: Practice and Experience, 1982
AbstractThe presentation of an abstract data type by a series of equational axioms has become an accepted specification mechanism. Verifying the correctness of such specifications has been recognized as a problem troubling their use. A means is presented for experimenting with a directly executable version of the axioms without having to choose ...
openaire   +2 more sources

Abstract Data Types, Then and Now

2002
Data abstraction has come to play an important role in software development. This paper presents one view of what data abstraction is, how it was viewed when it was introduced, and its long-term impact on programming.
openaire   +2 more sources

Magnetic resonance linear accelerator technology and adaptive radiation therapy: An overview for clinicians

Ca-A Cancer Journal for Clinicians, 2022
William A Hall, Brigid A Mcdonald, Travis C Salzillo   +2 more
exaly  

Clinical insights into small cell lung cancer: Tumor heterogeneity, diagnosis, therapy, and future directions

Ca-A Cancer Journal for Clinicians, 2023
Balazs Dome
exaly  

Abstract Data Type Sets—II

1990
In chapter 5 we looked at general implementations of the ADT set. As we noticed, not all the set operations could be implemented efficiently using a single data structure. However, many applications using sets require only a limited number of set operations.
openaire   +2 more sources

Abstract objects as abstract data types [PDF]

, 1980
H. Gerstmann, Alexander Ollongren
openaire   +1 more source

Abstract data types

2016
openaire   +1 more source

Varieties of abstract concepts and their grounding in perception or action

Open Psychology, 2020
Markus Kiefer, Marcel Harpaintner
exaly  

Varieties of abstract concepts and their multiple dimensions

Language and Cognition, 2019
Anna M Borghi, Fernando Naya-catal, Marco Tullio Liuzza   +2 more
exaly