IDE-R implementation