Natural semantics

Invited Presentations

DOI: 10.1007/BFb0039592

Part of the Lecture Notes in Computer Science book series (LNCS, volume 247)
Cite this paper as:
Kahn G. (1987) Natural semantics. In: Brandenburg F.J., Vidal-Naquet G., Wirsing M. (eds) STACS 87. STACS 1987. Lecture Notes in Computer Science, vol 247. Springer, Berlin, Heidelberg


During the past few years, many researchers have begun to present semantic specifications in a style that has been strongly advocated by Plotkin in [19]. The purpose of this paper is to introduce in an intuitive manner the essential ideas of the method that we call now Natural Semantics, together with its connections to ideas in logic and computing. Natural Semantics is of interest per se and because it is used as a semantics specification formalism for an interactive computer system that we are currently building at INRIA.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1987

Authors and Affiliations

  • G. Kahn
    • 1
  1. 1.INRIA, Sophia-AntipolisValbonne CedexFrance

Personalised recommendations