초록

조만간 본격화될 멀티코어 컴퓨팅 시대에 대비하여 타입이론 기반의 함수형 언어 형태로 새로운 병렬 프로그래밍 언어를 개발한다. 개발한 언어는 학부 및 대학원 교육에 이용하고 과학기술용 계산 문제에 적용해 보임으로써 학계 및 산업계에 보급한다.

Abstract ▼

In order to be able to better exploit multicore microprocessors which have become mainstream in recent years, we propose to design and implement a new parallel programming language that builds on a functional language with a type system. We intend to use the language in undergraduate and graduate ed

In order to be able to better exploit multicore microprocessors which have become mainstream in recent years, we propose to design and implement a new parallel programming language that builds on a functional language with a type system. We intend to use the language in undergraduate and graduate education, and also to demonstrate its utility by implementing parallel applications for various scientific computations.

목차 Contents

• 일반연구자지원사업(구 우수신진) 최종보고서(초안) ...1
• <목 차> ...3
• I. 연구 계획 요약문 ...4
• 1. 국문 요약문 ..4
• II. 연구 결과 요약문 ...5
• 1. 국문 요약문 ...5
• 2. 영문 요약문 ...6
• III. 연구내용 및 결과 ...7
• 1. 연구개발과제의 개요 ...7
• 2. 국내외 기술개발 현황 ...13
• 3. 연구수행 내용 및 결과 ...16
• 4. 목표달성도 및 관련 분야에의 기여도 ...34
• 5. 연구결과의 활용계획 ...39
• 6. 연구과정에서 수집한 해외과학기술정보 ...42
• 7. 주관연구책임자 대표적 연구실적 ...44
• 8. 참고 문헌 ...45
• 9. 연구성과 ...47
• 10. 기타사항 ...48