Skip to main content

Invariant Attribute

  • Chapter
Introduction to PEARL

Part of the book series: Programm Angewandte Informatik ((SV))

  • 48 Accesses

Abstract

In order to protect variables for problem data from assignments (not initialisations) these variables are declared with the attribute INV immediately before the type attribute.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig

About this chapter

Cite this chapter

Werum, W., Windauer, H. (1982). Invariant Attribute. In: Introduction to PEARL. Programm Angewandte Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-85763-7_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-85763-7_17

  • Publisher Name: Vieweg+Teubner Verlag, Wiesbaden

  • Print ISBN: 978-3-528-03590-7

  • Online ISBN: 978-3-322-85763-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics