Skip to main content
SpringerLink
Log in

Natural semantics

  • Invited Presentations
  • Conference paper
  • First Online:
Book cover STACS 87 (STACS 1987)

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

Included in the following conference series:

Abstract

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.

This research is partially supported under ESPRIT, Project 348.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cardelli L., “Basic Polymorphic Type-checking”, Polymorphism, January 1985.

    Google Scholar 

  2. Clément D. “The Natural Dynamic Semantics of Mini-Standard ML”, to appear in Proceedings CFLP, Pisa, March 1987.

    Google Scholar 

  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. 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. Curry H.B., R. Feys, Combinatory Logic, Volume I, North-Holland Publishing Company, 1958.

    Google Scholar 

  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. Despeyroux J., “Proof of Translation in Natural Semantics”, Proceedings of the First ACM Conference on Logic in Computer Science, LICS 1986.

    Google Scholar 

  8. Despeyroux T., “Executable Specification of Static Semantics”, Semantics of Data Types, Lecture Notes in Computer Science, Vol. 173, June 1984.

    Google Scholar 

  9. Despeyroux T., “Spécifications sémantiques dans le système MENTOR”, Thèse, Université Paris XI, 1983.

    Google Scholar 

  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. Gordon M., R. Milner, C. Wadsworth, G. Cousineau, G. Huet, L. Paulson, “The ML Handbook, Version 5.1”, INRIA, October 1984.

    Google Scholar 

  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. 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. MacQueen D.B., “Modules for standard ML”, ACM Symposium on LISP and Functional Programming, 1984, pp.198–207.

    Google Scholar 

  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. Mosses P., “SIS: a compiler generator system using denotational semantics”, DAIMI, University of Aarhus, August 1979.

    Google Scholar 

  17. Naish L., Negation and Control in Prolog, Lecture Notes in Computer Science, Vol. 238, 1986.

    Google Scholar 

  18. Prawitz D., “Ideas and results in proof theory”, Proceedings of the Second Scandinavian Logic Symposium, 1971, North-Holland.

    Google Scholar 

  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. Reynolds J.C., “Three Approaches to Type Structure”, Proceedings TAPSOFT, Lecture Notes in Computer Science, Vol. 185, March 1985.

    Google Scholar 

  21. Warren D.H.D., “Logic Programming and Compiler writing”, Software-Practice and Experience, 10, 1980, pp.97–125.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INRIA, Sophia-Antipolis, 06565, Valbonne Cedex, France

    G. Kahn

Authors
  1. G. Kahn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Franz J. Brandenburg Guy Vidal-Naquet Martin Wirsing

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

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. https://doi.org/10.1007/BFb0039592

Download citation

  • DOI: https://doi.org/10.1007/BFb0039592

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17219-2

  • Online ISBN: 978-3-540-47419-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation