주프로그램과 부프로그램에서 각각 동일한 변수나 배열명을 다른 의미로 사용해도 좋다.

부프로그램에서 다시 부프로그램을 가질 수 있다.

부프로그램은 주프로그램의 호출(call)없이 독립적으로 수행할 수 있다.

부프로그램은 논리적으로 볼 때 주프로그램과 주종의 관계를 형성하고 있지만 형식상으로는 독립적인 형태를 가지고 있다.