Validity Checking of Putback Transformations in Bidirectional Programming

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_1 ◽

2014 ◽

pp. 1-15 ◽

Author(s):

Zhenjiang Hu ◽

Hugo Pacheco ◽

Sebastian Fischer

Download Full-text