On the Optimality of Some Set Algorithms
Journal of the ACM (JACM)
A Formalization of Transition Diagram Systems
Journal of the ACM (JACM)
The String-to-String Correction Problem
Journal of the ACM (JACM)
Efficiency of a Good But Not Linear Set Union Algorithm
Journal of the ACM (JACM)
A Survey of Data Structures for Computer Graphics Systems
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
A Survey of Indexing Techniques for Sparse Matrices
ACM Computing Surveys (CSUR)
Identifier Search Mechanisms: A Survey and Generalized Model
ACM Computing Surveys (CSUR)
Binary Search Trees and File Organization
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
An efficient list-moving algorithm using constant workspace
Communications of the ACM
Copying cyclic list structures in linear time using bounded workspace
Communications of the ACM
Efficient string matching: an aid to bibliographic search
Communications of the ACM
A linear space algorithm for computing maximal common subsequences
Communications of the ACM
Communications of the ACM
A theory of discrete patterns and their implementation in SNOBOL4
Communications of the ACM
A formal system for information retrieval from files
Communications of the ACM
Equivalence between AND/OR graphs and context-free grammars
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
Transition network grammars for natural language analysis
Communications of the ACM
Implementation of the substring test by hashing
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Programming Techniques: Regular expression search algorithm
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Mathematical semantics of SNOBOL4
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An assertion language for data structures
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An algebraic model for string patterns
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Hashing schemes for extendible arrays (Extended Abstract)
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
The complexity of control structures and data structures
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
Rapid identification of repeated patterns in strings, trees and arrays
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
Verifying programs which operate on data structures
Proceedings of the international conference on Reliable software
On the development of data structures
ACM SIGPLAN Notices
A graph theoretic model of data structures
ACM SIGIR Forum
The SNOBOL4 programming language
The SNOBOL4 programming language
Data structure models for programming languages
ACM SIGPLAN Notices
Axiomatic equivalence of programs with structured variables
SWAT '74 Proceedings of the 15th Annual Symposium on Switching and Automata Theory (swat 1974)
On hash-coding algorithms for partial-match retrieval
SWAT '74 Proceedings of the 15th Annual Symposium on Switching and Automata Theory (swat 1974)
Linear pattern matching algorithms
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
IBM Journal of Research and Development
Axioms and theorems for a theory of arrays
IBM Journal of Research and Development
General context-free recognition in less than cubic time
Journal of Computer and System Sciences
Data graphs and addressing schemes
Journal of Computer and System Sciences
Towards a theory of data structures
Journal of Computer and System Sciences
Equivalence of programs with structured variables
Journal of Computer and System Sciences
A space-efficient list structure tracing algorithm
IEEE Transactions on Computers
On the power of programming features
Computer Languages
Specification techniques for data abstractions
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
This paper surveys some of the recent theoretical work on data structures. Work employing abstract graph models is covered as well as work on specific structures such as arrays and string patterns. Also included is work treating algorithms on complex structures and proving properties of programs that manipulate such structures. The paper concludes with a section on results using program schemata models to compare the utility of various data structures.