Key points are not available for this paper at this time.
데이터 흐름 분석은 절차 내 수준에서 잘 이해되어 있으며 효율적인 알고리즘이 제공됩니다. 재귀, 절차 중첩 및 참조에 의한 별칭과 같은 절차 간 메커니즘이 도입되면 데이터 흐름 문제는 훨씬 더 어려워집니다. 별칭이 있는 경우, avail, live 및 must-summary 데이터 흐름 문제는 NP-완전임을 보여줍니다. 그러나 프로그램의 흐름 그래프의 크기인 EDGE와 프로그램의 별칭 패턴 수를 반영하는 가능한 지수 수인 SET에 대해 O(SET*EDGE) 시간 성능을 가진 알고리즘이 제시됩니다. 실제로 SET은 작고 프로그램의 변수 수에 비례한다고 주장됩니다.
유진 M. 마이어스 (목요일)가 이 질문을 연구했습니다.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: