Natural semantics

Invited Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 247)


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.


  1. [1]
    Cardelli L., “Basic Polymorphic Type-checking”, Polymorphism, January 1985.Google Scholar
  2. [2]
    Clément D. “The Natural Dynamic Semantics of Mini-Standard ML”, to appear in Proceedings CFLP, Pisa, March 1987.Google Scholar
  3. [3]
    Clément D., J. Despeyroux, Th. Despeyroux, G. Kahn, “A simple applicative language: Mini-ML”, Proceedings of the ACM Conference on Lisp and Functional Programming 1986.Google Scholar
  4. [4]
    Cousineau G., P. L. Curien, M. Mauny, “The Categorical Abstract Machine”, in Functional Languages and Computer Architecture, Lecture Notes in Computer Science, Vol. 201, September 1985.Google Scholar
  5. [5]
    Curry H.B., R. Feys, Combinatory Logic, Volume I, North-Holland Publishing Company, 1958.Google Scholar
  6. [6]
    Damas L., R. Milner, “Principal type-schemes for functional programs”, Proceedings of the ACM Conference on Principles of Programming Languages 1982, pp.207–212.Google Scholar
  7. [7]
    Despeyroux J., “Proof of Translation in Natural Semantics”, Proceedings of the First ACM Conference on Logic in Computer Science, LICS 1986.Google Scholar
  8. [8]
    Despeyroux T., “Executable Specification of Static Semantics”, Semantics of Data Types, Lecture Notes in Computer Science, Vol. 173, June 1984.Google Scholar
  9. [9]
    Despeyroux T., “Spécifications sémantiques dans le système MENTOR”, Thèse, Université Paris XI, 1983.Google Scholar
  10. [10]
    Donzeau-Gouge V., “Utilisation de la sémantique dénotationnelle pour la description d'interprétation non-standard: application à la validation et à l'optimisation des programmes”, Proceedings of the 3rd International Symposium on Programming, Dunod, Paris, 1978.Google Scholar
  11. [11]
    Gordon M., R. Milner, C. Wadsworth, G. Cousineau, G. Huet, L. Paulson, “The ML Handbook, Version 5.1”, INRIA, October 1984.Google Scholar
  12. [12]
    Hascoet L., “Transformations automatiques de spécifications sémantiques. Application: un vérificateu: de types incrémental” Thèse, To appear, Université de Nice, 1987.Google Scholar
  13. [13]
    Heering J., J. Sidi, A. Verhoog (eds), “Generation of interactive programming environments — GIPE intermediate report“, CWI Report CS-R8620, Amsterdam, May 1986.Google Scholar
  14. [14]
    MacQueen D.B., “Modules for standard ML”, ACM Symposium on LISP and Functional Programming, 1984, pp.198–207.Google Scholar
  15. [15]
    Mauny M. “Compilation des langages fonctionnels dans les combinateurs catégoriques. Application au langage ML”, Thèse, Université Paris 7, 1985.Google Scholar
  16. [16]
    Mosses P., “SIS: a compiler generator system using denotational semantics”, DAIMI, University of Aarhus, August 1979.Google Scholar
  17. [17]
    Naish L., Negation and Control in Prolog, Lecture Notes in Computer Science, Vol. 238, 1986.Google Scholar
  18. [18]
    Prawitz D., “Ideas and results in proof theory”, Proceedings of the Second Scandinavian Logic Symposium, 1971, North-Holland.Google Scholar
  19. [19]
    Plotkin G.D., “A Structural Approach to Operational Semantics”, DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, September 1981.Google Scholar
  20. [20]
    Reynolds J.C., “Three Approaches to Type Structure”, Proceedings TAPSOFT, Lecture Notes in Computer Science, Vol. 185, March 1985.Google Scholar
  21. [21]
    Warren D.H.D., “Logic Programming and Compiler writing”, Software-Practice and Experience, 10, 1980, pp.97–125.Google Scholar

Copyright information

© Springer-Verlag 1987

Authors and Affiliations

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

Personalised recommendations