Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt ...  Home/Search
Context Related
| upenn.edu/pub/mbgr...cis0308tr.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: upenn.edu/~mbgreen/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a semantic foundation and a core programming language for bi-directional transformations on tree-structured data. In one direction, these transformations map a complex \concrete" tree into a simpli ed \abstract" one; in the other, they map a modi ed abstract tree, together with the original concrete tree, to a correspondingly modi ed concrete tree. The challenge of understanding and designing these transformations|called lenses|arises from their asymmetric nature: information... (Update)
Cited by: More
What's in Unison? A Formal Specification and Reference.. - Pierce, Vouillon (2004) (Correct)
Bidirectionalizing Tree Transformations - Zhenjiang Hu Kento (Correct)
An Injective Language for Reversible Computation - Mu, Hu, Takeichi (2004) (Correct)
Similar documents (at the sentence level):
21.0%: A Language for Bi-Directional Tree Transformations - Greenwald, Moore, Pierce.. (2003) (Correct)
10.2%: Combinators for Bi-Directional Tree.. - Foster.. (2004) (Correct)
Active bibliography (related documents): More All
0.5: Updating Relational Databases through XML Views - Braganholo (2002) (Correct)
0.5: Exploring Filesystem Synchronization with - Lightweight Modeling And (Correct)
0.3: Correct View Update Translations via Containment - Tomasic (1993) (Correct)
Similar documents based on text: More All
0.2: Practical Active Packets - Moore (2002) (Correct)
0.1: Lenses and View Update Translation - Benjamin Pierce And (Correct)
0.1: The STRONGMAN Architecture - Angelos Keromytis Sotiris (2003) (Correct)
Related documents from co-citation: More All
11: Properties and Update Semantics of Consistent Views (context) - Gottlob, Paolini et al. - 1988
8: A polymorphic calculus for views and object sharing - Ohori, Tajima - 1994
8: the Correct Translation of Update Operations On the Relational View (context) - Dayal, Bernstein - 1983
BibTeX entry: (Update)
M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt. A language for bi-directional tree transformations. Manuscript; available at http://www.cis.upenn.edu/~bcpierce/papers/lenses.pdf, 2003. 7 http://citeseer.ist.psu.edu/greenwald03language.html More
@misc{ greenwald03language,
author = "M. Greenwald and J. Moore and B. Pierce and A. Schmitt",
title = "A language for bi-directional tree transformations",
text = "M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt. A language
for bi-directional tree transformations. Manuscript; available at http://www.cis.upenn.edu/~bcpierce/papers/lenses.pdf,
2003. 7",
year = "2003",
url = "citeseer.ist.psu.edu/greenwald03language.html" }
Citations (may not include all citations):142 Updatable Views in Object-Oriented Databases - Scholl, Laasch et al. - 1991
141 A survey of approaches to automatic schema matching - Rahm, Bernstein - 2001
81 Update semantics of relational views (context) - Bancilhon, Spyratos - 1981
73 Using schema matching to simplify heterogeneous data transla.. - Milo, Zohar - 1998
72 The Formal Semantics of Programming Languages: An Introducti.. (context) - Winskel - 1993
66 Views: A way for pattern matching to cohabit with data abstr.. - Wadler - 1987
63 Updating XML - Tatarinov, Ives et al. - 2001
58 Correspondence and translation for heterogeneous data - Abiteboul, Cluet et al. - 1997
51 Updating relational databases through object-based views - Barsalou, Siambela et al. - 1991
47 the correct translation of update operations on relational v.. (context) - Dayal, Bernstein - 1982
43 Properties and update semantics of consistent views (context) - Gottlob, Paolini et al. - 1988
41 Incremental maintenance for materialized views over semistru.. - Abiteboul, McHugh et al. - 1998
36 Algorithms for translating view updates to database updates .. (context) - Keller - 1985
33 The clio project: Managing heterogeneity - Miller, Hernandez et al. - 2001
25 Updates of relational views (context) - Cosmadakis, Papadimitriou - 1984
18 Management of multiple models in an extensible database desi.. - Atzeni, Torlone - 1996
16 and block structure (context) - Oles, functor - 1985
14 Choosing a view update translator by dialog at view de nitio.. (context) - Keller - 1986
11 A polymorphic calculus for views and object sharing - Ohori, Tajima - 1994
11 MDM: a multiple-data model tool for the management of hetero.. - Atzeni, Torlone - 1997
10 Positive subtyping - Hofmann, Pierce - 1995
10 A relational database view update translation mechanism (context) - Masunaga - 1984
9 On propagation of deletions and annotations through views (context) - Buneman, Khanna et al. - 2002
8 Understanding the implications of view update policies (context) - Medeiros, Tompa - 1985
7 the updatability of XML views over relational databases - Braganholo, Davidson et al. - 2003
6 Updating relational databases through XML views - Braganholo, Heuser et al. - 2001
6 available at http:// www (context) - Pierce, Schmitt et al. - 2003
5 orgTRquery semantic (context) - andez, Sim et al. - 2001
4 Translating updates of relational data base views - Cosmadakis - 1983
4 and updates in RIGEL (context) - Rowe, Schoens et al. - 1979
4 Learning to map between structured representations of Data - Doan - 2002
2 Unison: A le synchronizer and its speci cation (context) - Pierce, Vouillon - 2001
1 A logical view of structure les (context) - Abiteboul, Cluet et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~mbgreen/): More
A Cooperative Immunization System for an Untrusting Internet - Kostas Anagnostakis Michael (2003) (Correct)
Managing Access Control in Large Scale Heterogeneous Networks - Angelos Keromytis Kostas (Correct)
cing: Measuring Network-Internal Delays Using only.. - Anagnostakis.. (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC