𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Efficient Graph Rewriting and Its Implementation

✍ Scribed by Heiko Dörr (eds.)

Book ID
127424346
Publisher
Springer
Year
1995
Tongue
English
Weight
2 MB
Edition
1
Category
Library
City
New York, N.Y
ISBN
3540494197

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Subjects

Software Engineering

📜 SIMILAR VOLUMES

Distributed Logic Objects: A Fragment of
Distributed Logic Objects: A Fragment of Rewriting Logic and its Implementation
✍ Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 816 KB

This paper presents a logic language (called Distributed Logic Objects, DLO for short) that supports objects, messages and inheritance. The operational semantics of the language is given in terms of rewriting rules acting upon the (possibly distributed) state of the system. In this sense, the logic