서진석, 최영근, 장덕철
Abstract
최근 programmer의 생산성을 더욱 향상시키며, program verification의 방법으로서, functional programming의 사용이 대두되고 있다. 특히 functional language는 language 자체에 implicit한 parallelism이 존재한다[ 1, 2 ]. 이점을 확장한 parallelism인 ” lazy evaluation ”에 관하여 연구하고 구현한다. 현재의 대부분의 functional programming language가 interpreter로 되어 있는데 본 논문에서는 speed의 효율서을 높이기 위하여 ”C” language를 이용하여 compiler로 구현한다.
OpenAlex reports 2 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
최근 programmer의 생산성을 더욱 향상시키며, program verification의 방법으로서, functional programming의 사용이 대두되고 있다. 특히 functional language는 language 자체에 implicit한 parallelism이 존재한다[ 1, 2 ]. 이점을 확장한 parallelism인 ” lazy evaluation ”에 관하여 연구하고 구현한다. 현재의 대부분의 functional programming language가 interpreter로 되어 있는데 본 논문에서는 speed의 효율서을 높이기 위하여 ”C” language를 이용하여 compiler로 구현한다.
Key concepts: Programming language, Computer science, Functional programming, Programmer, Compiler, Parallelism (grammar), Programming language implementation, Lazy evaluation