Abstract
For the book to be really self contained, this chapter introduces all the basic notions about inductive definitions and formal languages in general (variables, expressions, substitution, bound and free variables, sorts, …). Then it introduces to three ways to define the semantics of a programming language: denotational semantics, big-step and small-step operational semantics. This chapter start from scratch and gives many examples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this chapter
Cite this chapter
Dowek, G., Lévy, JJ. (2011). Terms and Relations. In: Introduction to the Theory of Programming Languages. Undergraduate Topics in Computer Science. Springer, London. https://doi.org/10.1007/978-0-85729-076-2_1
Download citation
DOI: https://doi.org/10.1007/978-0-85729-076-2_1
Publisher Name: Springer, London
Print ISBN: 978-0-85729-075-5
Online ISBN: 978-0-85729-076-2
eBook Packages: Computer ScienceComputer Science (R0)