다변성

Polyvariance

프로그램 분석에서 함수를 여러 번(일반적으로 각 콜사이트에서 1회) 분석하여 [1]분석의 정밀도를 높일 경우 분석을 폴리변수라고 합니다.

레퍼런스

  1. ^ Palsberg, Jens; Pavlopoulou, Christina (2001). "From Polyvariant Flow Information to Intersection and Union Types". Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98). 11 (3): 197–208. CiteSeerX 10.1.1.36.4441. doi:10.1017/S095679680100394X.


Stub icon

이 컴퓨터 과학 기사는 촌스럽다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.