formality: a manner that strictly observes all forms and ceremonies
abstraction: a general concept formed by extracting common features from specific examples
editor program: (computer science) a program designed to perform such editorial functions as rearrangement or modification or deletion of data