Towards the Temporal Approach to Abstract Data Types
Keyword(s):
In this paper we deal with a well known problem of specifying abstract data types. Up to now there were many approaches to this problem. We follow the axiomatic style of specifying abstract data types (cf. e.g. [1, 2, 6, 8, 9, 10]). We apply, however, the first-order temporal logic. We introduce a notion of first-order completeness of axiomatic specifications and show a general method for obtaining first-order complete axiomatizations. Some examples illustrate the method.
Keyword(s):
Keyword(s):
2007 ◽
Vol 17
(3)
◽
pp. 183-203
◽