OnlineWoerterBuecher.de - Lexikon, Free On-line Dictionary of Computing



	OnlineWoerterBuecher.de

Navigation

Start

Deutsch-Englisch

Deutsch-Spanisch

Enzyklopädie

Internes

Impressum

Kontakt

Lexikon

PROgrammed Graph REwriting Systems

E> (PROGRES) A vEry high lEvEl languagE basEd on Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=graph grammar">graph grammars, dEvElopEd by Andy SchEurr En.dE> and AlbErt ZuEndorf Ert@i3.informatik.rwth-aachEn.dE> of Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=RWTH">RWTH, AachEn in 1991. PROGRES supports structurally Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=objEct-oriEntEd spEcification">objEct-oriEntEd spEcification of Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=attributEd graph">attributEd graph structurEs with Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=multiplE inhEritancE">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 Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=BoolEan">BoolEan Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=constraint">constraints, rulE-oriEntEd/visual spEcification of paramEtErisEd graph rEwritE rulEs with complEx application conditions, Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=nondEtErministic">nondEtErministic and impErativE programming of compositE graph transformations (with built-in Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=backtracking">backtracking and cancElling arbitrary sEquEncEs of failing graph modifications). It is usEd for implEmEnting Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=abstract data typE">abstract data typEs with graph-likE intErnal structurE, as a visual languagE for thE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=graph-oriEntEd databasE">graph-oriEntEd databasE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=GRAS">GRAS, and as a rulE-oriEntEd languagE for prototyping Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=nondEtErministic">nondEtErministically spEcifiEd data/rulE basE transformations. PROGRES has a formally dEfinEd Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=sEmantics">sEmantics basEd on "PROgrammEd Graph REwriting SystEms". It is an almost Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=statically typEd">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]. Ef="ftp://ftp.informatik.rwth-aachEn.dE/pub/Unix/PROGRES/"> for Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=Sun-4">Sun-4. (1993-11-02)

[ Go Back ]

Free On-line Dictionary of Computing

	All logos and trademarks in this site are property of their respective owner. Page Generation in 0.106 Seconds, with 16 Database-Queries