Functions

Lightfoot, David

doi:10.1007/978-1-349-12144-1_10

David Lightfoot²

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

39 Accesses

Abstract

In a programming language a function is a way of specifying some processing which produces a value as a result. In Z a function is a data structure. These two views are not incompatible; the programming language view is just a restricted form of the Z view and in both cases a function provides a result value, given an input value or values.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

School of Computing and Mathematical Sciences, Oxford Polytechnic, UK
David Lightfoot

Authors

David Lightfoot
View author publications
You can also search for this author in PubMed Google Scholar

Copyright information

About this chapter

Cite this chapter

Lightfoot, D. (1991). Functions. In: Formal Specification Using Z. Macmillan Computer Science Series. Palgrave, London. https://doi.org/10.1007/978-1-349-12144-1_10

Download citation

DOI: https://doi.org/10.1007/978-1-349-12144-1_10
Publisher Name: Palgrave, London
Print ISBN: 978-0-333-54408-2
Online ISBN: 978-1-349-12144-1
eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics