Loading...
Please wait, while we are loading the content...
Similar Documents
Electronic Communications of the EASST Second International Workshop on Bidirectional Transformations ( BX 2013 ) Edit languages for information trees
| Content Provider | Semantic Scholar |
|---|---|
| Author | Hofmann, Martin Pierce, Benjamin C. Wagner, Daniel A. |
| Copyright Year | 2013 |
| Abstract | We consider a simple set of edit operations for unordered, edge-labeled trees, called information trees by Dal Zilio et al [DLM04]. We define tree languages using the sheaves automata from [FPS07] which in turn are based on [DLM04] and provide an algorithm for deciding whether a complex edit preserves membership in a tree language. This allows us to view sheaves automata and subsets of tree edits as edit languages in the sense of [HPW12]. They can then be used to instantiate the framework of edit lenses between such languages and model concrete examples such as synchronisation between different file systems or address directories. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://dmwit.com/papers/201302ELfIT.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
