[논문 리뷰] A Lightweight Combination of Semantics for Non-deterministic Functions

Francisco J. López-Fraguas, Juan Rodríguez-Hortalá외 1명|ArXiv.org|2009. 03. 12.

Logic, programming, and type systems참고 문헌 9인용 수 3

한 줄 요약

이 논문은 단일 프로그램 내에서 호출 시점 선택과 실행 시점 선택 의미 체계를 결합하는 경량 확장을 제안한다. 이는 특정 하위 표현식에 대한 공유를 비활성화하기 위해 단순한 'rt' 주석을 사용한다. 이 방법은 휴면 처리 방식을 수정하여 Toy 시스템에 효율적으로 구현되었으며, 기존의 호출 시점 선택 동작을 해치지 않고 두 의미 체계가 공존할 수 있도록 한다.

ABSTRACT

The use of non-deterministic functions is a distinctive feature of modern functional logic languages. The semantics commonly adopted is call-time choice, a notion that at the operational level is related to the sharing mechanism of lazy evaluation in functional languages. However, there are situations where run-time choice, closer to ordinary rewriting, is more appropriate. In this paper we propose an extension of existing call-time choice based languages, to provide support for run-time choice in localized parts of a program. The extension is remarkably simple at three relevant levels: syntax, formal operational calculi and implementation, which is based on the system Toy.

연구 동기 및 목표

• 기존 기능적 논리 프로그래밍 시스템이 전체 프로그램에 걸쳐 단일한 비결정적 의미 체계(호출 시점 또는 실행 시점 선택)를 강제하는 한계를 해결한다.
• 예를 들어 문법 규칙이나 반복적 생성자에서 더 적절한 경우에 특정 하위 표현식에 대해 실행 시점 선택을 선택적으로 적용할 수 있도록 한다.
• Toy와 Curry와 같은 기존의 호출 시점 선택 기반 시스템에 최소한의 구현 복잡도로 실용적인 확장을 제공한다.
• 운영적 계산법과 논리적 증명 체계를 사용하여 확장된 언어의 의미 체계를 형식적으로 정의함으로써 정확성과 분석의 기반을 마련한다.
• 순수한 호출 시점 또는 실행 시점 선택이 실패하는 경우, 예를 들어 팰린드롬 생성이나 숫자 조합 생성과 같은 사례에서 더 표현력 있고 정확한 프로그램 동작이 가능해짐을 보여준다.

제안 방법

• 표현식을 주석으로 표시하여 평가 시 실행 시점 선택 의미 체계를 따르고 공유를 피하기 위해 새로운 단항 함수 기호 'rt'를 도입한다.
• Toy 시스템의 휴면 메커니즘을 수정하여, 휴면된 표현식이 공유 대상인지(호출 시점) 아닌지 여부를 추적한다. 이는 휴면 데이터 구조에 플래그를 추가하여 수행된다.
• 확장의 두 가지 변형을 정의한다: 로컬 변형은 'rt(e)'가 e의 평가에만 영향을 주며, 글로벌 변형은 'rt' 주석을 실행 시점 선택의 범위로 간주한다.
• 이전 연구에서 제안된 두 개의 한 단계 감소 관계를 수정하여, 확장된 의미 체계 하에서의 새로운 운영적 행동을 모델링한다.
• CRWL 프레임워크 기반의 논리적 의미 체계를 제공하고, 'rt' 주석을 처리할 수 있도록 증명 계산법을 확장함으로써 운영 모델과의 일致성을 보장한다.
• Toy 시스템에서 로컬 변형을 구현하기 위해 휴면 관리 방식을 수정함으로써 실현 가능성과 실용적 성능을 입증한다.

실험 결과

연구 질문

• RQ1 호출 시점 선택과 실행 시점 선택 의미 체계를 단일 기능적 논리 프로그램 내에서 결합할 수 있는 실용적이고 경량의 메커니즘이 설계될 수 있는가?
• RQ2 이미 존재하는 호출 시점 선택 인fra구조를 해치지 않고 특정 하위 표현식에만 실행 시점 선택을 선택적으로 적용할 수 있는가?
• RQ3 혼합 선택 의미 체계를 사용하는 프로그램의 동작을 정확하게 기술할 수 있는 형식적 운영적 및 논리적 의미 체계는 무엇인가?
• RQ4 Toy와 같은 기존의 Prolog 기반 기능적 논리 프로그래밍 시스템에 중대한 아키텍처 변경 없이 이러한 조합을 구현할 수 있는가?
• RQ5 제안된 확장은 순수한 호출 시점 또는 실행 시점 선택이 실패하는 실제 사례, 예를 들어 문법 기반 문자열 생성 또는 숫자 조합 문제에서 정확하게 동작하는가?

주요 결과

• 'rt' 주석은 특정 하위 표현식에 대한 공유를 성공적으로 비활성화하여 필요한 곳에서 실행 시점 선택 동작을 가능하게 한다. 예를 들어 'word'를 'star(rt(letter))'로 정의할 때 그 효과가 나타난다.
• Toy 시스템의 프로토타입 구현은 'rt(0 | 1 | 2)'를 사용할 경우 'number 3'에서 0, 1, 2의 모든 27개 조합을 정확히 생성하지만, 호출 시점 선택일 경우 오직 [0,0,0], [1,1,1], [2,2,2]만 생성된다.
• 시스템은 'test2 = rt(double coin)'에서 두 번째 'coin' 호출을 독립적으로 평가함으로써 값 1을 정확히 생성한다. 이는 표준 호출 시점 선택 의미 체계에서는 불가능한 동작이다.
• 확장 덕분에 팰린드롬 생성기의 동작이 정상적으로 유지되며, 'palAux(word)'에서 'word'의 공유를 유지하는 동안 'star(rt(letter))'에서 'word'의 평가를 독립적으로 수행한다.
• 형식적 운영 계산법과 논리적 의미 체계는 혼합 선택 의미 체계를 갖는 프로그램에 대한 추론을 위한 탄탄한 기반을 제공하며, 로컬 변형은 직접적으로 구현 가능하다.
• 글로벌 변형에서 로컬 변형으로의 매핑을 통해 더 추상적인 글로벌 의미 체계를 단순한 로컬 메커니즘을 사용하여 구현할 수 있다.