Abstract

This paper describes a high level operational semantics for a simple programming language, called K O R E L , together with a parser, interpreter and pretty printer which are implemented in the (pure) functional programming language Haskell. The syntax of K O R E L is presented via BNF grammars, and the operational semantics is specied via structured, inductive rules. The paper outlines the broad ideas behind the Haskell implementation, with a more detailed explication of the key techniques. A code listing can be found in [Cro97]. 1 Introduction This paper presents a high level operational semantics for a simple programming language, together with a parser, interpreter and pretty printer which are implemented in the (pure) functional programming language Haskell. Our programming language is called K O R E L , so called because it can be considered to represent the core programming features of a language combining imperative and functional constructs, and has both an eager and a laz...

Citations