Results 301 to 310 of about 5,183,162 (349)

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

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

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

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

MAT learners for tree series: an abstract data type and two realizations

Acta Informatica, 2011
F. Drewes, Johanna Björklund, A. Maletti   +2 more
semanticscholar   +1 more source

A distributed abstract data type implemented by a probabilistic communication scheme

21st Annual Symposium on Foundations of Computer Science (sfcs 1980), 1980
N. Francez, M. Rodeh
semanticscholar   +1 more source

Abstract Data Type Specification in the Affirm System

IEEE Transactions on Software Engineering, 1980
D. Musser
semanticscholar   +1 more source

Comparison of abstract data type and abstract state encapsulation detection techniques for architectural understanding

Proceedings of the Fourth Working Conference on Reverse Engineering, 1997
J. Girard, R. Koschke, G. Schied
semanticscholar   +1 more source

Observability Concepts in Abstract Data Type Specifications

International Symposium on Mathematical Foundations of Computer Science, 1976
V. Giarratana, F. Gimona, U. Montanari
semanticscholar   +1 more source