본문바로가기

태극기이 누리집은 대한민국 공식 전자정부 누리집입니다.

단어장에 추가 인쇄
루프^불변^표명 편집하기 편집 금지 요청
분야
『정보·통신』
「001」프로그램의 부분적 정당성을 증명하는 데에 쓰이는 반복 실행 가운데에서 항상 성립하는 성질 내지는 조건을 나타내는 논리식.

대역어

영어
loop invariant assertion
내가 살펴본 단어 내 단어장
    단어장에 추가 전체 삭제

    취소
    위로