Abstract
When handling sets of records, we have, up to now, been stringing them together in a form of linked list. This is a perfectly efficient representation for those situations when we wish to scan an entire set of records to derive some specified information. However, it is not very efficient when we only require one, or a small subset of the total set of records. An alternative way of holding sets of records would be to store them in an array and access individual records directly by their position in the array (See figure 7.1).
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Copyright information
© 1992 F.D. Rolland
About this chapter
Cite this chapter
Rolland, F.D. (1992). Specification Using Maps. In: Programming with VDM. Macmillan Computer Science Series. Palgrave, London. https://doi.org/10.1007/978-1-349-12692-7_7
Download citation
DOI: https://doi.org/10.1007/978-1-349-12692-7_7
Publisher Name: Palgrave, London
Print ISBN: 978-1-349-12694-1
Online ISBN: 978-1-349-12692-7
eBook Packages: EngineeringEngineering (R0)