Key points are not available for this paper at this time.
프로그램 개발은 종종 간단하고 명확한 프로그램을 복잡하고 얽힌, 그러나 더 효율적인 프로그램으로 변환하는 방식으로 진행됩니다. 이 논문에서는 이 과정을 더 체계적으로 만들 수 있는 방법을 탐구합니다. 우리는 프로그램 성능 분석, 함수의 부분 평가 및 반복되는 하위 목표에서 재귀 함수 정의의 추상을 결합하여 체계적인 방식으로 많은 전역 변환을 생성할 수 있는 방법을 보여줍니다. 예시는 컴파일러 최적화, 리스트 처리, 매우 고급 언어 및 APL 실행에서 가져왔습니다.
벤 웨그브라이트(화요일)가 이 질문을 연구했습니다.