re-writes characterization of programing languages