Loading...
Please wait, while we are loading the content...
Similar Documents
CafePie: A Visual Programming System for CafeOBJ (2000)
| Content Provider | CiteSeerX |
|---|---|
| Author | J. Tanaka, A. Ogawa, T. |
| Description | In Cafe: An Approach to Industrial Strength Algebraic Formal Methods |
| Abstract | 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-anddrop operations. 1. |
| File Format | |
| Publisher Date | 2000-01-01 |
| Access Restriction | Open |
| Subject Keyword | Programming Language Level Term Expression Visual Programming System Visual Transformation Rule Algebraic Specification Language Drag-anddrop Operation Uniform Manner Realistic Expression Term Rewriting Visualized Term Abstract Visualization Schema Program Editing |
| Content Type | Text |
