그러므로 C 언어 에서 하위 프로그래밍 언어 로 의 변환 에 는 큰 어려움 이 없 다 . 또한 , 이렇게 작성 된 하위 프로그래밍 언어 로 작성 된 프로그램 의 검증 은 이미 상기 도 1 의 S 110 단계 및 S 120 단계 에서 작성 된 상위 프로그래밍 언어 로 구현 된 프로그램 에서 생성 된 입출력 결과 들 을 이용 한 비교 를 통해서 동작 을 검증 할 수 있 다 .