Efficient graph rewriting and its implementation
This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriti...
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| シリーズ: | Lecture notes in computer science
922 |
| 主題: | |
| オンライン･アクセス: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 注記: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Efficient graph rewriting and its implementation, Heiko Dörr, New York, Springer-Verlag, 1995, 1 vol. (IX-266 p.), Lecture notes in computer science, 3-540-60055-8 • Efficient Graph Rewriting and Its Implementation, Texte imprimé, 9783662214855 |
| LEADER | 03260nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 945491 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155230069 | ||
| 020 | |a 9783540494195 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.131 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Dörr, Heiko, |d 19..- | |
| 245 | 1 | 0 | |a Efficient graph rewriting and its implementation |c Heiko Dörr. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 922 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Graph rewriting systems The basic concepts -- UBS-Graph rewriting systems matching subgraphs in constant time -- Programmed attributed graph rewrite systems An advanced modelling formalism -- The abstract machine for graph rewriting supporting a fast implementation -- A graphical implementation of functional languages a case study in UBS-graph rewriting systems -- Conclusions. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting. Second, an abstract machine for graph rewriting is defined providing an instruction set sufficient for the execution of GRS. The basic definitions of GRS in the algorithmic approach are introduced and extended by attribution and control structures to comprise a formalism for an operational specification. The translation of a functional programming language to graph rewriting shows the capabilities of UBS-GRS. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Systèmes de réécriture (informatique) | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Logique symbolique et mathématique | ||
| 776 | 0 | |0 024027634 |t Efficient graph rewriting and its implementation |f Heiko Dörr |c New York |n Springer-Verlag |d 1995 |p 1 vol. (IX-266 p.) |s Lecture notes in computer science |z 3-540-60055-8 | |
| 776 | 0 | |t Efficient Graph Rewriting and Its Implementation |b Texte imprimé |z 9783662214855 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0031909 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-V0D0J0TC-7 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747910030 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0031909 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750922907 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0031909 |z Accès INSA CVL | |
| 997 | |0 945491 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||