Validity Checking of Putback Transformations in Bidirectional Programming (Invited paper) (bibtex)

by Z. Hu, H. Pacheco, S. Fischer

Reference:

Z. Hu, H. Pacheco, S. Fischer, Validity Checking of Putback Transformations in Bidirectional Programming (Invited paper), In Proceedings of the 19th International Symposium on Formal Methods (FM 2014), Springer-Verlag, pp. 1-15, 2014.

Bibtex Entry:

@inproceedings{validityPut, author = {Hu, Z. and Pacheco, H. and Fischer, S.}, title = {Validity Checking of Putback Transformations in Bidirectional Programming (Invited paper)}, booktitle = {Proceedings of the 19th International Symposium on Formal Methods (FM 2014)}, url = {publications/fm14.pdf}, pages = {1--15}, publisher = {Springer-Verlag}, year = {2014} }