Natural semantics (1987)
| Venue: | In Proc. 4th Annual Symp. Theoretical Aspects of Computer Science, number 247 in Lect. Notes in Comp. Sci |
| Citations: | 280 - 2 self |
BibTeX
@INPROCEEDINGS{Kahn87naturalsemantics,
author = {G. Kahn},
title = {Natural semantics},
booktitle = {In Proc. 4th Annual Symp. Theoretical Aspects of Computer Science, number 247 in Lect. Notes in Comp. Sci},
year = {1987},
pages = {22--39},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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. 1.
Citations
| 323 | Principal type-schemes for functional programs - Damas, Milner - 1982 |
| 121 | The categorical abstract machine - Cousineau, Curien, et al. - 1985 |
| 90 | A simple applicative language: Mini-ml - Clément, Despeyroux, et al. - 1986 |
| 73 | Basic polymorphic typechecking - Cardelli - 1987 |
| 51 | Combinatory Logic, Volume I - Curry, Feys - 1974 |
| 41 | of translation in natural semantics - Despeyroux |
| 4 | The Natural Dynamic Semantics of Mini-Standard ML - Clement - 1987 |
