Results 321 to 330 of about 8,638,029 (373)

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

Fields, Meadows and Abstract Data Types

2008
Fields and division rings are not algebras in the sense of "Universal Algebra", as inverse is not a total function. Mending the inverse by any definition of 0(-1) will not suffice to axiomatize the axiom of inverse x(-1) · x = 1, by an equation. In particular the theory of fields cannot be used for specifying the abstract data type of the rational ...
Bergstra, J., Hirschfeld, Y., Tucker, J.
openaire   +4 more sources

PVM and Abstract Data Types

2000
Parallel Virtual Machine (PVM) [16] is a software system that permits a network of heterogeneous Unix computers to be used as a single large parallel computer. Thus large computational problems can be solved by using the aggregate power of many computers.
Willi-Hans Steeb, Tan Kiat Shi, Yorick Hardy   +2 more
openaire   +2 more sources

Synthesis of Programs in Abstract Data Types

1999
In this paper we propose a method for program synthesis from constructive proofs based on a particular proof strategy, we call dischargeable set construction. This proof-strategy allows to build proofs in which active patterns (sequences of application of rules with proper computational content) can be distinguished from correctness patterns ...
Avellone A., FERRARI, MAURO, Miglioli P.
openaire   +3 more sources

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

Formal System Modelling Using Abstract Data Types in Event-B

International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
Andreas Fürst, Son Hoang, D. Basin, Naoto Sato, K. Miyazaki   +4 more
semanticscholar   +1 more source

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