Formal Semantics

  • Raymond Turner


In this chapter we look more carefully at the various forms of semantic de_nition [26, 68, 92, 97, 114, 141, 167, 173, 189, 204, 213, 218, 219, 224, 251, 246]. These range from natural language accounts through to mathematical ones of various kinds and avors. We shall attempt to evaluate the various approaches to semantics against the criteria set out in the previous chapter. In this regard, we shall explore the di_erent roles of operational and denotational approaches.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Raymond Turner
    • 1
  1. 1.School of Computer Science & Electronic EngineeringUniversity of EssexColchesterUK

Personalised recommendations