프로그래밍, 개념 및 이론 기록