A visual interactive framework for formal derivation

Authors:
Paul Agron;Leo Bachmair;Frank Nielsen
Affiliations:
Department of Computer Science, Stony Brook University, Stony Brook, New York;Department of Computer Science, Stony Brook University, Stony Brook, New York;Sony Computer Sciences Laboratory Inc, Tokyo, Japan
Venue:
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
Year:
2005

Citing 5
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Graph Visualization and Navigation in Information Visualization: A Survey

IEEE Transactions on Visualization and Computer Graphics
Implementing a General-Purpose Edge Router

GD '97 Proceedings of the 5th International Symposium on Graph Drawing
Improved Force-Directed Layouts

GD '98 Proceedings of the 6th International Symposium on Graph Drawing
Snakes, shapes, and gradient vector flow

IEEE Transactions on Image Processing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformation rules. A user derives a solution to a unification problem by stepwise application of these rules. The software tool provides both a debugger-style presentation of a derivation and its history, and a graphical view of the expressions generated during the unification process. A backtracking facility allows the user to revert to an earlier step in a derivation and proceed with a different strategy.