Linguistic Foundations for Bidirectional Transformations (Invited Tutorial)

Summary: Surveys the linguistic approach to bidirectional transformations: designing lens-based languages whose expressions inherently pair forward and backward update mappings instead of inverting fixed view definitions. Covers foundational lens theory, expressive type-system features and domain-specific designs (strings, trees, relations, graphs, models) emphasizing compositional, provably well-behaved update propagation. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1564
Venue: PODS
Year: 2012
Pagerank: 5.093636e-05
Overall Rank: 12,300 | 15.62%
DOI: 10.1145/2213556.2213568

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Benjamin C. Pierce (University of Pennsylvania)

BibTeX Citation

@inproceedings{pierce_pods12,
        address = {New York, NY, USA},
        series = {{PODS} '12},
        title = {{Linguistic Foundations for Bidirectional Transformations (Invited Tutorial)}},
        url = {https://dl.acm.org/doi/10.1145/2213556.2213568},
        doi = {10.1145/2213556.2213568},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Pierce, Benjamin C.},
        year = {2012}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
620	On Propagation of Deletions and Annotations Through Views	2002	PODS	0.00015703409
3,390	Relational Lenses: A Language for Updatable Views	2006	PODS	7.4518363e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	11,827	Programmable View Update Strategies on Relations	2020	VLDB
2	9,012	Towards Theory for Real-World Data	2022	PODS
3	6,563	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS
4	13,247	Attributed Grammars for Query Language Translations (Extended Abstract)	1983	PODS
5	6,274	DBMSs Should Talk Back Too	2009	CIDR
6	13,082	Knowledgebase Transformations	1992	PODS
7	2,464	Compiling Mappings to Bridge Applications and Databases	2007	SIGMOD
8	2,880	Choosing a View Update Translator by Dialog at View Definition Time	1986	VLDB
9	13,022	Tutorial: Languages for Collection Types	1994	PODS
10	3,390	Relational Lenses: A Language for Updatable Views	2006	PODS