Results 291 to 300 of about 5,183,162 (349)

Abstract data type and mathematical software reusability: two linked concepts

, 1990
Experience with the design and implementation of a reusable Pascal code is reported. The project concerns the solution of the LU-factorization problem on large sparse matrices. The code carried out is structured into reusable units.
P. D. Felice
semanticscholar   +1 more source

Abstract Data Type

Encyclopedic Dictionary of Archaeology, 2021
Richard Connor
semanticscholar   +1 more source

On hierarchies of abstract data types

Acta Informatica, 1983
Hierarchical abstract data types are algebraic specifications of computation structures where certain sorts, function symbols, and axioms are designated as being primitive. On hierarchical abstract data types additional structure is imposed. An algebraic specification is thus decomposed into several well-separated levels, such that both the ...
Martin Wirsing, H. Partsch, Peter Pepper, Manfred Broy, Walter Dosch   +4 more
openaire   +2 more sources

Crop type classification using a combination of optical and radar remote sensing data: a review

International Journal of Remote Sensing, 2019
Reliable and accurate crop classification maps are an important data source for agricultural monitoring and food security assessment studies. For many years, crop type classification and monitoring were focused on single-source optical satellite data ...
A. Orynbaikyzy, U. Gessner, C. Conrad
semanticscholar   +1 more source

Constructive Abstract Data types (CAD)

ACM SIGMOD Record, 1980
1. Distinction from conventional approaches The motivation for CAD is to extend the idea of data abstraction to application programming. Conventional approaches confine themselves to operational concepts of system programming like STACK, QUEUE etc. and do not consider concepts like CONTRACT, INVOICE etc.
openaire   +2 more sources

The Algebraic Specification of Abstract Data Types

Acta Informatica, 1978
There have been many recent proposals for embedding abstract data types in programming languages. In order to reason about programs using abstract data types, it is desirable to specify their properties at an abstract level, independent of any particular implementation.
John V. Guttag, J. J. Horning
openaire   +2 more sources

Abstract LB-331: Comprehensive genomic analysis of malignant pleural mesothelioma identifies recurrent mutations, gene fusions and splicing alterations

, 2016
Malignant pleural mesothelioma (MPM) is an aggressive cancer arising from the mesothelial cells of the pleura. About 80% of mesothelioma cases are linked to asbestos exposure, while the remainder may be related to prior chest radiation, genetic ...
S. Seshagiri, E. Stawiski, L. Goldstein, S. Durinck, Z. Modrusan, Florian Gnad, Thong T. Nguyen, B. Jaiswal, A. Rienzo, W. Richards, R. Bueno   +10 more
semanticscholar   +1 more source

Iteration and abstract data types

ACM SIGPLAN Notices, 1987
Numerous languages have been developed which support the creation of abstract data types. Introductions to such languages typically provide the standard stack and complex number examples to demonstrate their respective expressive power. While such examples fit neatly into the framework of these languages, only a few have attempted to deal with the ...
openaire   +2 more sources

Data structures, types and abstractions

The IEEE Computer Society's Second International Computer Software and Applications Conference, 1978. COMPSAC '78., 2005
The purpose of this paper is to explore the concepts and provide examples of data structures, data types and data abstractions The term data structures has been around for about 30 years; the term data type has been around for about 20 years; and the term data abstraction is a recent one and has been used for the last five years.
openaire   +2 more sources

Programs are abstract data types

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2005
We propose to view programs as abstract data types and to perform program changes by applying well-defined operations on programs. The ADT view of programs goes beyond the approach of syntax-directed editors and proof-editors since it is possible to combine basic update operations into larger update programs that can be stored and reused. It is crucial
openaire   +2 more sources