| |
Browse All Reviews > Software (D) > Programming Languages (D.3) > Language Constructs and Features (D.3.3) > Abstract Data Types (D.3.3...)
|
|
 |
|
|
| |
|
|
| |
1-10 of 32
Reviews about "Abstract Data Types (D.3.3...)":
|
Date Reviewed |
| |
Non-parametric parametricity
Neis G., Dreyer D., Rossberg A. ACM SIGPLAN Notices 44(9): 135-148, 2009. Type: Article
Programming languages with language constructs for analyzing types or casting from some abstract type to its concrete implementation type seem to violate abstraction principles (especially the parametricity principle that the current c...
|
May 17 2010 |
| |
Abstract behavior types: a foundation model for components and their composition
Arbab F. Science of Computer Programming 55(1-3): 3-52, 2005. Type: Article
Arbab argues that viewing component instances as the implementation of an object-oriented interface hinders reusability and becomes a source of problems as the size and complexity of the glue code increases. Instead, he thinks that a c...
|
Sep 12 2005 |
| |
A memory-efficient doubly linked list
Sinha P. Linux Journal 2005(129): 102005. Type: Article
For small devices to be cost effective, manufacturers often need to impose restrictions on memory size for the software components. Such situations often require developers to find alternative implementations of data structures. It is ...
|
Jul 5 2005 |
| |
A simple and powerful type system for programming languages
Ayres R. Journal of Systems and Software 73(2): 301-311, 2004. Type: Article
This paper presents an interesting approach to data typing, within a programming language that abstracts the typing ideas from interactive command language (ICL). The paper introduces a rich sample typing system, and views types as par...
|
Feb 4 2005 |
| |
From static to dynamic abstract data-types: an institution transformation
Zucca E. Theoretical Computer Science 216(1-2): 109-157, 1998. Type: Article
A static data type consists of data together with operations onthem. Such data types are classically modeled by multisorted algebrasand specified using a logic or, in other words, using a particularinstitution. A dynamic data type is a...
|
Sep 1 1999 |
| |
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
Sitaraman M., Weide B., Ogden W. IEEE Transactions on Software Engineering 23(3): 157-170, 1997. Type: Article
The authors assert that there is a need to separate the specifications and implementations of abstract data types. Further, to keep a specification purely conceptual and unbiased with respect to its possible implementations, the behavi...
|
Apr 1 1998 |
| |
Specification of abstract data types
Loeckx J., Ehrich H., Wolf M., John Wiley & Sons, Inc., New York, NY, 1997. Type: Book (9780471950677)
A specification of an abstract data type is defined by both a syntax and a semantics, and is basically a description of a class of objects in terms of their properties. The syntax defines the form of the specification, and the semantic...
|
Feb 1 1998 |
| |
Implementing signatures for C++
Baumgartner G., Russo V. ACM Transactions on Programming Languages and Systems 19(1): 153-187, 1997. Type: Article
The authors introduce a simple yet powerful extension to C++ for abstracting types and decoupling subtyping and inheritance. They argue that the current dual purpose of the C++ class construct--to define and implement a type, ...
|
Jun 1 1997 |
| |
Abstract data types
Dale N., Walker H., D. C. Heath and Company, Lexington, MA, 1996. Type: Book (9780689400001)
Abstract data types (ADTs) are an important and well-established programming discipline on which much current software, including object-oriented programs, is based. This text uses abstract data types to teach abstraction, computationa...
|
Feb 1 1997 |
| |
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
Cowan D., Lucena C. IEEE Transactions on Software Engineering 21(3): 229-243, 1995. Type: Article
The idea of an abstract data view (ADV) is that what is normally considered the abstract interface of an implementation module is separated into a different module called the abstract data view; as a result, the interface and the imple...
|
Feb 1 1996 |
| |
|
|
| |
|
|
