Semantic Theories

  • Raymond Turner


Aside from its syntax, a programming language must also be given a semantic definition and an implementation. Without a semantic definition, we could not compute by hand; without an implementation, there would be no mechanical computation. These three ingredients, syntax, semantics, and implementation, are all necessary, and work together to define a programming language.


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