FLECS: A Tool for Rapid Prototyping of Mechanisms in Success/Failure Based Languages

Report
Authors:Bailey, Mark, Department of Computer ScienceUniversity of Virginia OBagy, Janalee, Department of Computer ScienceUniversity of Virginia
Abstract:

Our goal is to provide a prototyping tool that facilitates the addition of new language mechanisms in success/failure based languages. By this, we mean languages that have success and failure of expressions, generators, and backtracking. We have designed an interpreter, called FLECS, for a subset of Icon, a language which exhibits the above features. FLECS is written in Scheme using a technique called continuation-passing-style (CPS). This approach allows us to extend, modify, and experiment with new language mechanisms which range from datatyping issues to general control structures. In this report, we provide an overview of the base semantics that FLECS implements, fol lowed by a brief description of the CPS implementation technique. FLECS's capability is then demonstrated by augmenting the base language with a general control abstraction that has been shown to be powerful in the context of traditional procedural languages. In conclusion, the seman tics of this control abstraction in the presence of success and failure is discussed.

Rights:
All rights reserved (no additional license for public reuse)
Language:
English
Source Citation:

Bailey, Mark, and Janalee OBagy. "FLECS: A Tool for Rapid Prototyping of Mechanisms in Success/Failure Based Languages." University of Virginia Dept. of Computer Science Tech Report (1990).

Publisher:
University of Virginia, Department of Computer Science
Published Date:
1990