Terms and Relations

  • Gilles DowekEmail author
  • Jean-Jacques Lévy
Part of the Undergraduate Topics in Computer Science book series (UTICS)


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.


Fixed Point Theorem Free Variable Operational Semantic Denotational Semantic Structural Induction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  1. 1.Labo. d’InformatiqueÉcole polytechniquePalaiseauFrance
  2. 2.Centre de Recherche Commun, INRIA-Microsoft ResearchParc Orsay UniversitéOrsay CedexFrance

Personalised recommendations