Visual Programming with Graph Rewriting Systems

Andy Schürr,  Andreas Winter,  Albert Zündorf  

 About the Authors

Diagrammatic   Rule-Oriented Language   Graph Rewriting Systems   Executable Specification Language   Integrated Programming Environment  


The multi-paradigm language PROGRES is the first rule-oriented visual language which has a well-defined type concept and supports programming with graph rewriting systems. To some extent, it has the flavor of a visual database programming language with powerful pattern matching and replacing facilities as well as backtracking capabilities. Until now, it was mainly used for specifying and rapid prototyping of abstract data types in software engineering environments. An integrated set of language-specific tools supports intertwined editing, analyzing, browsing, and debugging of specifications as well as generating prototypes in C (Modula-2) with Tcl/Tk-based user interfaces.

 Document in PostScript (compressed, 91316 bytes)

 The PROGRES Project

Visual AWK: A Model for Text Processing by Demonstration Visual Specification of Branching Time Temporal Logic Index of Talks Proceedings - 11th Intl. Symposium on Visual Languages