论文信息 - Natural Semantics

Natural Semantics

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.

Gilles Kahn | G. Kahn

[1] D. Prawitz. Ideas and Results in Proof Theory , 1971 .

[2] Robin Milner,et al. Principal type-schemes for functional programs , 1982, POPL '82.

[3] David B. MacQueen. Modules for standard ML , 1984, LFP '84.

[4] Michel Mauny. Compilation des Langages Fonctionnels dans les Combinateurs Catégoriques -- Application au langage ML , 1985 .

[5] Pierre-Louis Curien,et al. The Categorical Abstract Machine , 1987, Sci. Comput. Program..

[6] John C. Reynolds,et al. Three Approaches to Type Structure , 1985, TAPSOFT, Vol.1.

[7] Moshe Sidi,et al. Generation of interactive programming environments: GIPE , 1986 .

[8] Lee Naish,et al. Negation and Control in Prolog , 1986, Lecture Notes in Computer Science.

[9] Dominique Clément,et al. A simple applicative language: mini-ML , 1986, LFP '86.

[10] Joëlle Despeyroux,et al. Proof of Translation in Natural Semantics , 1986, LICS.

[11] Dominique Clément,et al. The Natural Dynamic Semantics of Mini-Standard ML , 1987, TAPSOFT, Vol.2.