Meta-interpreting SETL

Abstract

This paper describes a SETL interpreter written in SETL. This module may be reused as a basis to build debuggers, type checkers, symbolic executers, tracers, and many other general purpose programming tools. Other more advanced uses include experimenting with altered semantics for SETL and building interpreters for multi-paradigm languages, as in SetLog project, which aims at constructing a language integrating logic programming and set-oriented programming.