Validity Checking of Putback Transformations in Bidirectional Programming

Thumbnail Image
Date
2014
Authors
Hu,Z
Hugo Pereira Pacheco
Fischer,S
Journal Title
Journal ISSN
Volume Title
Publisher