A K Definition of Scheme ⋆

Abstract

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)

Topics

2 Figures and Tables

Slides referencing similar topics