LarrowR2: A Laboratory fro Rapid Term Graph Rewriting
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
A visual and interactive automata theory course emphasizing breadth of automata
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
A Java code annotation approach for model checking software systems
Proceedings of the 2007 ACM symposium on Applied computing
Hi-index | 0.00 |
In this paper, we present the Rule-Maker System, which is a visualization approach of Rule-Based Programming. Compared to traditional Rule-Based Programming, Rule-Maker provides an intuitive graphical interface to reduce programming effort and help developers focus on rule structure rather than rule syntax. Programmers can implement graphical modules of algorithms. By connecting with LRR (Laboratory for Rapid Rewriting), the visualization approach hides the computation detail information from the developer.