GPGPU를 이용한 병렬 Reducing에 관한 고찰

본 논문은 오늘날 연구의 중심이 되고 있는 병렬 프로그래밍을 수학적 도구이자 함수형 언어의 기반이 되는 Lambda Calculus [1]의 Reduction을 GPGPU 상에서 병렬로 Reducing 하는 모델에 적용하고자 하며 더 나아가 새롭게 개발된 모델의 성능을 알아보고자 한다.