목차
DFA
DFA의 다른 뜻은 다음과 같.
고정점
수학에서, 고정점(固定點) 또는 부동점(不動點)은 함수나 변환 따위에서 옮겨지지 않는 점이.
불필요한 코드
밍에서, 불필요한 코드 (dead code)는 프로그램의 소스 코드에서 실행 되지만 결과가 다른 계산에 전혀 사용될 수 없는 섹션이.
제어 흐름 그래프
CFG 예시: (a) if-then-else (b) while loop (c) 자연적인 루프 두개 (예를 들면 중앙의 while과 an if...break; 구조화되지 않았지만, 축소 가능한 (d) 축소 불가능한 CFG: 2개의 엔트리 포인트와 루프 (예를 들면 while에의 또는 while을 위한 goto) 제어 흐름 그래프 (control flow graph) (CFG)는 프로그램이 실행 중에 횡단할 수 있는 모든 경로를 그래프 표기법을 사용하여 표현한 것이.
정적 프로그램 분석
정적 프로그램 분석 (Static program analysis)은 실제 실행 없이 컴퓨터 소프트웨어를 분석하는 것을 말. 대부분의 경우에 분석은 소스 코드의 버전 중 하나의 형태로 수행되며, 가끔은 목적 파일 형태로 분석.
역컴파일러
역컴파일러()는 컴파일러와 반대의 역할을 하는 컴퓨터 프로그램이.
프로그래머 목록
이 문서는 소프트웨어 분야에 크게 기여하거나 특정 아키텍처를 새롭게 만들거나 수정한 사람들을 포함하는 '프로그래머의 목록이.