Validity Checking of Putback Transformations in Bidirectional Programming.

Zhenjiang Hu Hugo Pacheco Sebastian Fischer

Published in: FM (2014)

Keyphrases

programming language
search space
object oriented programming
real world
multiscale
optimal solution
video sequences
high level language