프로그램의 한 부분으로서 특정한 일을 여러 번 실행할 필요가 있을 때 이를 실행하기 위해 논리적으로 별개의 프로그램으로 작성된 프로그램. 특정한 일을 부차적 프로그램이 담당하게 함으로써 프로그램 작성에 드는 노력을 절약하고 프로그램이 차지해야 할 기억 장소를 절약할 수 있다. 그리고 독립적으로 번역할 수 있는 주 프로그램의 나머지 부분에 상관없이 기계어로 변환될 수 있다.