G. Kahn. Natural semantics. Technical report, INRIA Rapport de Recherche No. 601, F'evrier 1987. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Programmer Friendly Modular Definition of the Semantics of.. - Börger, Schulte (1997) (2 citations) (Correct)
....of various useful methods from functional programming and algebraic specifications for the definition of static (compile time) functions. After some experimentation we decided to strictly stick to a run time and not syntax directed modeling. Structural methods (like SOS [28] natural semantics [23], action semantics [26] etc. are known to work well for the definition of languages where the control flow essentially follows the syntax (tree) structure with only little involvement of environment information (as is the case for example for purely functional languages or for strongly syntax ....
G. Kahn. Natural semantics. Technical report, INRIA Rapport de Recherche No. 601, F'evrier 1987.
Why Use Evolving Algebras for Hardware and Software Engineering? - Börger (1995) (Correct)
....of defining the meaning of programs. In that approach, the program constructs guide the formulation of axioms and rules which define the meaning of programs and serve for proof schemes. Indeed SOS has been useful. The formal definition of Standard ML makes crucial use of Kahn s Natural Semantics [57] a version of structural operational semantics. The semantic rules are used to answer questions about the meaning of program constructs. Theorems justify particular design decisions and are typically proved by induction on the programs, see [60, 61] In the communities of functional and logic ....
G. Kahn, Natural Semantics, INRIA Rapport de Recherche No. 601, Fevrier 1987.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC