Skip to main content

Specification Using Maps

  • Chapter
Programming with VDM

Part of the book series: Macmillan Computer Science Series ((COMPSS))

  • 16 Accesses

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).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Authors

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)

Publish with us

Policies and ethics