@conference {1947,
	title = {Generating Attribute Grammar-based Bidirectional Transformations from Rewrite Rules},
	booktitle = {Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM},
	year = {2014},
	month = {January},
	address = {San Diego, USA},
	abstract = {<p>Higher order attribute grammars provide a convenient means for specifying uni-directional transformations, but they provide no direct support for bidirectional transformations. In this paper we show how rewrite rules (with non-linear right hand sides) that specify a forward/get transformation can be inverted to specify a partial backward/put transformation. These inverted rewrite rules can then be extended with additional rules based on characteristics of the source language grammar and forward transformations to create, under certain circumstances, a total backward transformation. Finally, these rules are used to generate attribute grammar specifications implementing both transformations.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/prmartins/files/pepm2014.pdf},
	author = {Pedro Martins and Jo{\~a}o Alexandre Saraiva and Jo{\~a}o Paulo Fernandes and Eric Van Wyk}
}