CafePie: A visual programming system for CafeOBJ. CafePie is a visual programming system for CafeOBJ, an algebraic specification language based on term rewriting. Program editing and execution in CafePie are performed in one window. All program editing operations are handled in a uniform manner. An abstract visualization schema is necessary to understand the program at the programming language level. In this paper, we propose visualized term rewriting with more realistic expressions. With our approach, users can customize the term expression as they like by using visual transformation rules. These rules can also be edited using drag-and-drop operations.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Arkoudas, Konstantine; Bringsjord, Selmer: Vivid: a framework for heterogeneous problem solving (2009)