A~--This paper compares two implementation models for abstract data types: direct and indirect implementations. Direct implementations offer relatively cheap execution and expensive compilation costs while indirect implementations result in relatively expensive implementations and cheap compilation costs. These two models are both accommodated by Ada, and a small experiment compares their costs for a particular data type. Keyworda: abstract data type ada run-time implementation 1
Abstract data types (ADTs) are typical candidates for reusable software components. An important, al...
This thesis is about techniques for proving the functional correctness of Abstract Data Type (ADT) i...
We present an extensive, annotated bibliography of the abstract machines designed for each of the ma...
This paper presents a methodology to support the existence of multiple type implementations when pro...
It is well-known that data abstractions are crucial to good software engineering practice. We argue ...
ions Dennis Freidel Hewlett Packard -- Colorado Networks Division Chris Marlin yz & Michael...
Ada 83 did not provide enough control on the creation, assignment, and destruction of objects of use...
This paper explains the vital role of data abstraction in the development of computer programs. Abst...
Ada 95 protected objects are intended to provide a synchronization mechanism that is lower-level and...
We demonstrate that a uniformity of approach to both the definition and implementation of programmin...
This research describes the use of abstract data types as a design and implementation tool for data ...
Loose specifications of abstract data types (ADTs) have many non-isomorphic algebras as models. An i...
It is argued that the concept of abstract datatypes can be extended in a way that allows for opera-t...
From the smallest microcomputer to the largest mainframe computer, data communication capabilities a...
This dissertation examines the application of current research on abstract data types and on generic...
Abstract data types (ADTs) are typical candidates for reusable software components. An important, al...
This thesis is about techniques for proving the functional correctness of Abstract Data Type (ADT) i...
We present an extensive, annotated bibliography of the abstract machines designed for each of the ma...
This paper presents a methodology to support the existence of multiple type implementations when pro...
It is well-known that data abstractions are crucial to good software engineering practice. We argue ...
ions Dennis Freidel Hewlett Packard -- Colorado Networks Division Chris Marlin yz & Michael...
Ada 83 did not provide enough control on the creation, assignment, and destruction of objects of use...
This paper explains the vital role of data abstraction in the development of computer programs. Abst...
Ada 95 protected objects are intended to provide a synchronization mechanism that is lower-level and...
We demonstrate that a uniformity of approach to both the definition and implementation of programmin...
This research describes the use of abstract data types as a design and implementation tool for data ...
Loose specifications of abstract data types (ADTs) have many non-isomorphic algebras as models. An i...
It is argued that the concept of abstract datatypes can be extended in a way that allows for opera-t...
From the smallest microcomputer to the largest mainframe computer, data communication capabilities a...
This dissertation examines the application of current research on abstract data types and on generic...
Abstract data types (ADTs) are typical candidates for reusable software components. An important, al...
This thesis is about techniques for proving the functional correctness of Abstract Data Type (ADT) i...
We present an extensive, annotated bibliography of the abstract machines designed for each of the ma...