Paper Info
Title
Designing Data Structures
Abstract
The design (as opposed to the choice and use) of data structures has beenthe subject of relatively little study in the context of formal methods. In thispaper, we introduce our ideas on how data structures are designed.1 IntroductionThe sciences do not try to explain, they hardly even try to interpret,they mainly make models. By a model is meant a mathematical construct which,with the addition of certain verbal interpretations, describes observed phenomena.The justification of such a...
Year
DOI
Venue
1989
10.1007/978-1-4471-3166-3_12
Functional Programming
Keywords
Field
DocType
designing data structures,formal method,data structure
Data mining,Data structure,Computer science,Entry point,Priority queue,Formal methods
Conference
ISBN
Citations 
PageRank 
3-540-19609-9
1
0.38
References 
Authors
2
1
Name
Order
Citations
PageRank
Alastair Reid1131.78