A K Definition of Scheme ⋆


This paper presents an executable rewriting logic semantics of RRS Scheme using the K definitional technique [19]. We refer to this definition as K-Scheme. The presented semantics follows the K language definitional style but is almost entirely equational. It can also be regarded as a denotational specification with an initial model semantics of Scheme… (More)


2 Figures and Tables

Slides referencing similar topics