[논문 리뷰] Functional Logic Program Transformations

Hanus Michael, Steven Libby|arXiv (Cornell University)|2026. 01. 19.

Logic, programming, and type systems인용 수 0

한 줄 요약

이 논문은 Curry에서 함수형 로직 프로그래밍을 사용하여 프로그램 변환을 구현하는 방법을 제시하고, 비결정성 및 함수형 패턴을 활용해 간결하고 모듈화된 변환을 만들며, FlatCurry 표현에서 비결정적 접근과 결정적 접근을 비교한다.

ABSTRACT

Many tools used to process programs, like compilers, analyzers, or verifiers, perform transformations on their intermediate program representation, like abstract syntax trees. Implementing such program transformations is a non-trivial task, since it is necessary to iterate over the complete syntax tree and apply various transformations at nodes in a tree. In this paper we show how the features of functional logic programming are useful to implement program transformations in a compact and comprehensible manner. For this purpose, we propose to write program transformations as partially defined and non-deterministic operations. Since the implementation of non-determinism usually causes some overhead compared to deterministically defined operations, we compare our approach to a deterministic transformation method. We evaluate these alternatives for the functional logic language Curry and its intermediate representation FlatCurry which is used in various analysis and verification tools and compilers.

연구 동기 및 목표

• 컴파일러, 분석기 및 검증기로서의 도구로서 프로그램 변환을 동기 부여하고 연구한다.
• 함수형 로직 프로그래밍이 어떻게 간결하고 이해하기 쉬운 변환 정의를 가능하게 하는지 보여준다.
• 표현(FlatCurry)을 제시하고, 변환 정의를 부분적으로 정의되고 비결정적 연산으로 구현하는 모습을 보여준다.
• Curry 및 그 중간 표현인 FlatCurry에서 비결정적 변환 접근과 결정적 접근을 평가한다.

제안 방법

• Curry에서 프로그램 변환을 부분적으로 정의되고 비결정적 연산으로 정의한다.
• 변환에서 깊은 패턴 매칭을 표현하기 위해 함수형 패턴을 사용한다.
• 변환된 프로그램을 대상으로 조작하기 위해 중간 표현으로 FlatCurry를 활용한다.
• 변환에서 비결정성과 실패를 관리하기 위한 포용적 탐색(encapsulated search)을 설명한다.
• 구현 및 오버헤드 측면에서 비결정적 변환 정의를 결정적 정의와 비교한다.
• 변환 정의를 보여주기 위한 예시(예: 리스트의 특정 위치에 삽입)들을 제공한다.

실험 결과

연구 질문

• RQ1 Curry의 기능적 로직 특징을 어떻게 활용하여 프로그램 변환을 모듈식이며 이해하기 쉽게 표현할 수 있는가?
• RQ2 비결정적 대 결정적 변환 정의의 이점과 단점(예: 오버헤드)은 무엇인가?
• RQ3 이러한 변환 방식이 Curry 프로그램과 FlatCurry 중간 표현에 얼마나 잘 적용되는가?
• RQ4 함수형 패턴과 캡슐화된 탐색이 변환을 표현하고 제어하는 데 어떤 역할을 하는가?

주요 결과

• 함수형 로직 특징은 프로그램 변환의 간결하고 모듈식 표현을 가능하게 한다.
• 캡슐화된 탐색이 있는 비결정적 연산은 변환을 간결하게 표현하고 적절한 경우 다중 결과를 처리할 수 있다.
• 함수형 패턴은 변환 내에서 깊거나 임의의 깊이의 패턴 매칭을 가능하게 하여 표현력을 향상시킨다.
• 본 연구는 Curry/FlatCurry 설정에서 비결정적 대 결정적 변환 접근의 비교 평가를 포함한다.
• FlatCurry는 Curry 기반 도구에서 변환을 적용하고 평가하기 위한 실용적인 중간 형태로 작용한다.