구조적프로그래밍

구조적 프로그래밍은 데이크스트라라는 네덜란드 프로그래머에 의해 만들어졌다. 증명 데이크스트라는 프로그래밍에도 수학의 증명을 도입하려고 했다. 프로그래머가 검증된 구조를 사용해 코드를 작성하여 이 코드가 올바르다는 사실을 스스로 증명하게 만드려고 했다. 이런 과정에서 goto 문은 단순 반복문/조건문으로 대체할 수 있다는 것을 발견했다. goto 문을 사용하면 증명을 하기가 어렵지만, 반복문/조건문은 세부 단위로 쪼갤 수 있고, 따라서 증명을 하기가 더 쉽다. 모든 프로그램을 순차, 분기, 반복이라는 세 가지 구조만으로 표현할 수 있다는 사실을 증명했다. 해로운 성명서 데이크스트라는 "goto문의 해로움"이라는 제목의 글을 썼고, 여기에 많은 사람들이 지지와 반대를 보냈다. 현재 살펴보면 goto 문은 코..