Abstract
This chapter is rather long and tedious—it is a ’user manual’ for the notation and concepts we shall need. On first reading one should only look in detail at 3.1. and 3.2., the other sections should be quickly skimmed and then referred to later when their contents are used. Here is a quick overview of the main sections:
-
3.1.
We explain the concept of ‘abstract syntax’—the kind of syntactic description convenient for semantics.
-
3.2.
We explain why we use ”domains” rather than sets and discuss informally the role of the underlying mathematical theories.
-
3.3.
We describe different kinds of domains and ways of building them.
-
3.4.
We discuss the concept of a function and then describe numerous notations for manipulating them.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1979 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Gordon, M.J.C. (1979). General concepts and notation. In: The Denotational Description of Programming Languages. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-6228-2_3
Download citation
DOI: https://doi.org/10.1007/978-1-4612-6228-2_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-90433-7
Online ISBN: 978-1-4612-6228-2
eBook Packages: Springer Book Archive