A Transformational Interpreter for Goal-Directed Evaluation

We develop a Java-based interpreter for the Unicon programming language using transformation, first into an iterator calculus and from there into the dynamic language Groovy. In Unicon every expression is a generator that produces values until it fails, and operations are conditioned on success and failure. The transformations first normalize primary… (More)