반사성 (Reflexivity) 1. 개요 반사성(Reflexivity)이란 수학의 관계 이론에서 집합의 모든 원소가 자기 자신과 관계를 맺고 있는 성질을 의미한다. 즉, 어떤 대상 에 대하여 " 는 와 관계가 있다"라는 명제가 항상 참이 될 때, 해당 관계는 반사적이라고 한다. 2. 수학적 정의 집합 와 그 위의 이항 관계 (즉, )에 대하여, 관계 이 …
검색 결과
"유향 그래프"에 대한 검색 결과 (총 2개)
데이터 흐름 분석 (Data-Flow Analysis) 1. 개요 데이터 흐름 분석(Data-Flow Analysis)이란 프로그램의 실행 경로를 따라 데이터의 상태와 값이 어떻게 변화하는지를 추적하여 프로그램의 특성을 파악하는 정적 분석(Static Analysis) 기법이다. 정적 분석이란 프로그램을 실제로 실행하지 않고 소스 코드나 중간 표현(Inte…