번역? termination
종료
종결 - 이상 둘이 가장 많이 쓰임.
종단 - 주로 통신/네트워크 쪽에서만 쓰이는 듯
종말

loop_termination
터미네이터,terminator

비슷한표현들 / 관련표현들

터미널,terminal
end - 엔드,end 끝,end ?
quit
halt / halting - 정지문제,halting_problem가 이 표현을 씀. // mk 정지,halt or 정지,halting?
exit - 다른 걸로 다시 돌아갈(리턴,return) 것이 있을 때??
break - 이건 완전히 끝내는 게 아니라 잠깐 멈출 때(stop, pause, ...) 이 때도 쓰이는 표현. // 브레이크,break
ABEND = ABnormal END = abnormal termination

페이지 만든 이유는 program의 올바름,correctness관련하여, 프로그램/바이너리/코드/루프/서브루틴/...의 termination에 대한 page가 필요하여.

Rel
정지문제,halting_problem
프로그램,program
executable_code
실행,execution
제어흐름,control_flow
and...
termination_proof =,termination_proof =,termination_proof . termination_proof
termination_analysis =,termination_analysis =,termination_analysis . termination_analysis