Programmed graph rewriting systems
language
(PROGRES) A very high level language based on graph grammars, developed by Andy Scheurr [email protected] and Albert Zuendorf [email protected] of RWTH, Aachen in 1991.
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.
PROGRES has a formally defined semantics based on “PROgrammed Graph Rewriting Systems”. It is an almost statically typed language which additionally offers “down 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].
(ftp://ftp.informatik.rwth-aachen.de/pub/Unix/PROGRES/) for Sun-4.
(1993-11-02)
Read Also:
- Programmed-instruction
noun, Education. 1. a progressively monitored, step-by-step teaching method, employing small units of information or learning material and frequent testing, whereby the student must complete or pass one stage before moving on to the next.
- Programme music
noun 1. music that is intended to depict or evoke a scene or idea Compare absolute music
- Profitless
noun 1. Often, profits. pecuniary gain resulting from the employment of capital in any transaction. Compare gross profit, net profit. the ratio of such pecuniary gain to the amount of capital invested. returns, proceeds, or revenue, as from property or investments. 2. the monetary surplus left to a producer or employer after deducting wages, rent, […]
- Programmer brain damage
humour (PBD) A classification of a bug which was obviously introduced by an incompetent or short-sighted programmer. Compare UBD. See also brain-damaged. (1996-10-13)
- Programming-language
noun 1. a high-level language used to write computer programs, as COBOL or BASIC, or, sometimes, an assembly language. programming language noun 1. a simple language system designed to facilitate the writing of computer programs See high-level language, low-level language, machine code programming language (prō’grām’ĭng) An artificial language used to write instructions that can be […]