Declarative debugging of abstract data types in Gödel

2005 ◽  
pp. 188-205 ◽  
Author(s):  
Dominic Binks
Keyword(s):  
Abstract Data Types ◽  
Data Types ◽  
Abstract Data

Towards the Temporal Approach to Abstract Data Types

1988 ◽  
Vol 11 (1) ◽  
pp. 49-63
Author(s):  
Andrzej Szalas
Keyword(s):  
Temporal Logic ◽  
Abstract Data Types ◽  
Data Types ◽  
First Order ◽  
Abstract Data ◽  
Order Completeness ◽  
General Method

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.

Iteration and abstract data types

1987 ◽  
Vol 22 (4) ◽  
pp. 103-110 ◽  
Author(s):  
J D Eckart
Keyword(s):  
Abstract Data Types ◽  
Data Types ◽  
Abstract Data

Practical ultra-reliability for abstract data types

2007 ◽  
Vol 17 (3) ◽  
pp. 183-203 ◽  
Author(s):  
Borislav Nikolik ◽  
Dick Hamlet
Keyword(s):  
Abstract Data Types ◽  
Data Types ◽  
Abstract Data

Constructive Abstract Data types (CAD)

1981 ◽  
Vol 11 (2) ◽  
pp. 203-206
Author(s):  
Hartmut H. Wedekind
Keyword(s):  
Abstract Data Types ◽  
Data Types ◽  
Abstract Data

An example of programming with abstract data types

1975 ◽  
Vol 10 (7) ◽  
pp. 25-29 ◽  
Author(s):  
Jack B. Dennis
Keyword(s):  
Abstract Data Types ◽  
Data Types ◽  
Abstract Data
Sign in / Sign up

Export Citation Format

Share Document