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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Arkoudas, Konstantine; Bringsjord, Selmer: Vivid: a framework for heterogeneous problem solving (2009)