H ? « ‹ ← → › »

Language peer sets for PROGRES:
Germany↑
Germany/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Business Data Processing ↑
Business Data Processing/1990↑
Business Data Processing/de ↑

PROGRES(ID:2271/pro028)

Graph based programming language 

alternate simple view
Country: Germany
Designed 1990
Published: 1991
Sammet category: Business Data Processing

for PROgrammed GRaph REwriting Systems

Andy Scheurr and Albert Zuendorf, RWTH, Aachen, 1991

Very high-level language based on graph grammars. Supports multiple inheritance and type of types, declarative specification of graphical attributes, visual specification of graph rewrite rules.

"PROGRES supports structurally object-oriented specification of attributed graph structures with multiple inheritance hierarchies and types of types (for parametric polymorphism). It also supports declarative/relational specification of derived attributes, node sets, binary relationships (directed edges) and Boolean constraints, rule-oriented/visual specification of parameterised graph rewrite rules with complex application conditions, nondeterministic and imperative programming of composite graph transformations (with built-in backtracking and cancelling arbitrary sequences of failing graph modifications)."

It is used for implementing abstract data types with graph-like internal structure, as a visual language for the graph-oriented database GRAS, and as a rule-oriented language for prototyping nondeterministically specified data/rule base transformations.

Structures:
Related languages
PROGRES → Grace   Influence
References:
  • Andy Schuerr. (1991) Andy Schuerr. "PROGRES: A VHL-language based on graph grammars" H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds., Graph Grammars and Their Application to Computer Science, LNCS 532, pp641- 659, 1991.
  • Scheurr, A. (1991) Scheurr, A. "Introduction to PROGRES, an Attribute Graph Grammar Based Specification Language", in Proc WG89 Workshop on Graph-theoretic Concepts in Computer Science", LNCS 411, Springer 1991
  • Schuerr, Andy (1994) Schuerr, Andy "Programmed graph transformations and graph transformation in GRACE" Presented at the 5th Workshop on Graph Grammars and Their Application to Computer Science (Williamsburg, USA), 1994.
  • Andy Schürr (1999) Andy Schürr "Rapid Programming with Graph Rewrite Rules" Proc. USENIX Symp. on Very High Level Languages (VHLL), Santa Fee, Oct. 1994, USENIX Association, pp. 83-100 Abstract Extract: Introduction Extract: The Language PROGRES
  • Heimann, Peter ; Gregor Joeris, Carl-Arndt Krapp (2000) Heimann, Peter ; Gregor Joeris, Carl-Arndt Krapp and Bernhard Westfechtel, A programmed graph rewriting system for software process management, Electronic Notes in Theoretical Computer Science, Vol. 2 (2000)
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder