abstracting programs
abstracts programs