Majster,MoE.: Data types, abstract data types and their specification problem. Report TUM-INFO-774o, Techn. Univ. MHnchen, 1977Majster, M.E.: Data types, abstract data types and their specification problem. Theor. Comput. Sci. 8 , 89–127 (1979)...
[1984] Abstract data types and their extension within a constructive logic. - Semantics of Data Types, LNCS 173, 1984, 177-195.Bertoni, A., Mauri, G., Miglioli, P., and Ornaghi, M. (1984). Abstract data types and their extension within a constructive logic. In Kahn, G., MacQueen,...
We call databases that contain user defined abstract data types object-extended databases. In this paper we examine three aspects of providing support for object-extended databases: their specification, their manipulation by transactions, and access to them via queries. We show that a database ...
The specification package must include details of the data structure itself – to preserve information hiding, the data structure’s definition can follow the word private denoting that the following is hidden ? Ada offers three forms of ADTs – those without information hiding, and thus are not ...
The Algebraic Specification of Abstract Data Types - Guttag, Horning - 1977 () Citation Context ... the ability it provides to formally prove certain characteristics of the specification, such as whether it is consistent and sufficiently complete (a concept originally defined by Guttag and Horning ...
OBSCURE is a specification language for abstract data types. It differs from classical specification languages by handling models rather than theories. The goal of the paper is to present a complete and precise description of OBSCURE . First, the different language constructs are illustrated by the ...
It allows the specification of dynamic systems based on dynamic entities like pointers, and has the same structural properties as the algebraic specification logic. 展开 关键词: Abstract data types (Computer science 出版时间: 1983. ISBN: 0387123121 (U.S. : pbk.) 被引量: 5 ...
This section describes a conceptual model of possible data organization that an implementation maintains to participate in this protocol. The organization is provided to explain how the protocol behaves. This specification does not mandate that implementations adhere to this model as long as their extern...
Access control subjects are of two types: Unprivileged user subjects are used by ordinary users to perform routine operations, including managing files with the EFSRPC methods. For convenience, this specification refers to such subjects as user certificates. Data Recovery Agents (DRAs) are used by ...
Three examples for continuousdata types are given: a simple functional language, a non-strict version for the data-objects of Backus functional language, and a formal specification of non-strict functional language by taking the specification of the data-objects as actual parameter of another ...