Enriching a Meta-Language With Higher-Order Features

Abstract

Various meta-languages for the manipulation and specification of programs and programming languages have recently been proposed. We examine one such framework, called natural semantics, which was inspired by the work of G. Plotkin on operational semantics and extended by G. Kahn and others at INRIA. Natural semantics makes use of a first-order meta-language… (More)

Topics

7 Figures and Tables

Slides referencing similar topics