Algorithms & data structures
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The treatment of data types in EL1
Communications of the ACM
Communications of the ACM
A language for treating graphs
Communications of the ACM
A language extension for graph processing and its formal semantics
Communications of the ACM
List tracing in systems allowing multiple cell-types
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
BLISS: a language for systems programming
Communications of the ACM
Structure of a LISP system using two-level storage
Communications of the ACM
Programming Languages: GPL, a truly general purpose language
Communications of the ACM
Communications of the ACM
The Structure and Design of Programming Languages
The Structure and Design of Programming Languages
The ALTRAN system for rational function manipulation - a survey
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Research directions in abstract data structures
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Programming without pointer variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Correctness of data representations (Extended Abstract): Pointers in high level languages
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
A language extension for controlling access to shared data
ICSE '76 Proceedings of the 2nd international conference on Software engineering
The design of a template structure for a generalized data structure definition facility
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Proceedings of an ACM conference on Language design for reliable software
The impact of language design on the production of reliable software
Proceedings of the international conference on Reliable software
An assessment of the programming language PASCAL
Proceedings of the international conference on Reliable software
Reliable hardware-software architecture
Proceedings of the international conference on Reliable software
The influence of software structure on reliability
Proceedings of the international conference on Reliable software
Proceedings of the international conference on Reliable software
A file definition facility for file structures
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
Data structures: description, manipulation and evaluation
Data structures: description, manipulation and evaluation
Extensibility in programming language design
ACM SIGPLAN Notices - Special issue on programming language design
The SNOBOL 4 programming language
The SNOBOL 4 programming language
LISP 1.5 Programmer's Manual
Informal introduction to ALGOL 68
Informal introduction to ALGOL 68
Data structure models for programming languages
ACM SIGPLAN Notices
Generalized data structures in Madcap VI
ACM SIGPLAN Notices
A constructive approach to the design of algorithms and their data structures
Communications of the ACM
Logical Structure Specification and data type definition
ACM '79 Proceedings of the 1979 annual conference
Hi-index | 0.02 |
A data structure definition facility (DSDF) is described that provides definitions for several primitive data types, homogeneous and heterogeneous arrays, cells, stacks, queues, trees, and general lists. Each nonprimitive data structure consists of two separate entities—a head and a body. The head contains the entry point(s) to the body of the structure; by treating the head like a cell, the DSDF operations are capable of creating and manipulating very general data structures. A template structure is described that permits data structures to share templates.The primary objectives of the DSDF are: (1) to develop a definition facility that permits the programmer to explicitly define and manipulate generalized data structures in a consistent manner, (2) to detect mistakes and prevent the programmer from creating (either inadvertently or intentionally) undesirable (or illegal) data structures, (3) to provide a syntactic construction mechanism that separates the implementation of a data structure from its use in the program in which it is defined, and (4) to facilitate the development of reliable software.