Edit compilication theory