Text this: Automatic implementation generation for pervasive applications