| 書目名稱 | Efficient Graph Rewriting and Its Implementation |
| 編輯 | Heiko D?rr |
| 視頻video | http://file.papertrans.cn/303/302978/302978.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | 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. |
| 出版日期 | Book 1995 |
| 關(guān)鍵詞 | Attribut; Efficient Implementation; Effiziente Implementierung; Functional Programming; Funktionales Pro |
| 版次 | 1 |
| doi | https://doi.org/10.1007/BFb0031909 |
| isbn_softcover | 978-3-540-60055-8 |
| isbn_ebook | 978-3-540-49419-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1995 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-29 05:11
發(fā)表于 2025-3-21 19:20:10
