Abstract
We are always allowed to invent new syntax if we explain the rules for its use. A ready source of new syntax is names (identifiers), and the rules for their use are most easily given by some axioms. We might say something like “let pi = 3.14 ”, meaning that we introduce the name pi and the axiom pi = 3.14. A similar example is “let x be an element such that x: nat”, or more briefly, “let x: nat”. We call pi a constant because the axiom constrains it to one value, and we call x a variable because the axiom allows it many possible values.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media New York
About this chapter
Cite this chapter
Hehner, E.C.R. (1993). Function Theory. In: A Practical Theory of Programming. Texts and Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-8596-5_3
Download citation
DOI: https://doi.org/10.1007/978-1-4419-8596-5_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-6444-6
Online ISBN: 978-1-4419-8596-5
eBook Packages: Springer Book Archive