language (PROGRES) A very high level language based on
1991.
specification of derived attributes, node sets, binary
rule-oriented/visual specification of parameterised graph
rewrite rules with complex application conditions,
cancelling arbitrary sequences of failing graph
modifications).
graph-like internal structure, as a visual language for the
data/rule base transformations.
PROGRES has a formally defined
semantics based on
"PROgrammed Graph Rewriting Systems". It is an almost
casting" operators for run time checked type
casting/conversion (in order to avoid severe restrictions
concerning the language's expressiveness).
Version RWTH 5.10 includes an integrated environment.
[A. Scheurr, "Introduction to PROGRES, an Attribute Graph
Grammar Based Specification Language", in Proc WG89 Workshop
on Graphtheoretic Concepts in Computer Science", LNCS 411,
Springer 1991].
(1993-11-02)