선언적 절차적 프로그래밍 그리고 추상화