<電子ブック>
Efficient Graph Rewriting and Its Implementation / by Heiko Dörr
(Lecture Notes in Computer Science. ISSN:16113349 ; 922)
版 | 1st ed. 1995. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1995 |
本文言語 | 英語 |
大きさ | X, 266 p : online resource |
著者標目 | *Dörr, Heiko author SpringerLink (Online service) |
件 名 | LCSH:Computer science LCSH:Machine theory LCSH:Compilers (Computer programs) LCSH:Software engineering FREE:Theory of Computation FREE:Formal Languages and Automata Theory FREE:Compilers and Interpreters FREE:Software Engineering |
一般注記 | 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 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 HTTP:URL=https://doi.org/10.1007/BFb0031909 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540494195 |
|
電子リソース |
|
EB00225740 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA75.5-76.95 DC23:004.0151 |
書誌ID | 4001090514 |
ISBN | 9783540494195 |