대화형 명령어를 위한 새로운 write 구문 도입

초록

이 논문은 전통적인 write 문을 확장하여 write(x); G와 write(x); D 형태의 두 가지 새로운 구문을 제안한다. 전자는 변수 x에 값을 할당한 뒤 G를 실행하도록 하고, 후자는 사용자에게 x 값을 입력받아 모듈 D를 초기화한다. 이를 통해 C 기반 언어에 인터랙티브 모듈을 손쉽게 삽입할 수 있다.

상세 분석

본 논문은 기존의 C‑계열 언어가 제공하는 입출력 메커니즘을 논리 프로그래밍의 전이 시스템과 결합함으로써, 프로그램 실행 중 동적으로 값을 획득하고 이를 제어 흐름에 반영하는 새로운 패러다임을 제시한다. 핵심 아이디어는 write(x); G 구문을 “기계가 x에 적절한 값 v를 찾아 G를 성공적으로 수행할 수 있게 만든다”는 의미론으로 정의하고, write(x); D 구문을 “사용자가 직접 x에 값을 입력하고, 그 값으로 모듈 D를 초기화한다”는 의미론으로 해석한다는 점이다.

문법적으로는 G‑형식(명령문), D‑형식(프로시저 선언 집합), E‑형식(인터랙티브 모듈) 세 가지 비터미널을 도입하고, write 구문은 G와 D 양쪽에 모두 허용된다. 실행 모델은 전통적인 실행 단계(ex)와 역추적 단계(bc)를 교차시키는 두 단계 전이 시스템으로 구성된다. 특히 규칙 (9)에서 write(x); G1을 처리할 때, “choose(and print) a value v for x” 라는 비결정적 선택을 도입함으로써, 프로그램이 실행 중에 필요한 값이 존재하지 않을 경우 사용자 혹은 자동화된 탐색기에 의해 값을 제공받을 수 있게 한다. 이는 기존 C에서 scanf와 달리 선언적이고 논리적 흐름에 자연스럽게 녹아들어, 프로그램 로직을 흐트러뜨리지 않는다.

또한 초기화 단계(exec)에서는 모듈 로드 시 모든 write 선언을 일괄적으로 환경 입력값으로 치환한다. 이는 모듈 수준에서 인터랙티브 파라미터를 선언하고, 실행 전 한 번에 바인딩함으로써 모듈 재사용성을 높인다. 논문은 이러한 메커니즘을 age와 phone 예제로 시연하며, 변수 y1, y2, y3에 사용자 입력을 받아 조건문에 적용하는 과정을 상세히 보여준다.

이 접근법은 기존 논리 프로그래밍(예: computability logic)과의 연계성을 강조한다. 규칙 (1)~(8)은 Kahn의 자연 의미론과 Miller·Nadathur·Pfenning의 uniform proof 체계와 유사하게 설계되어, 프로그램 실행을 증명 탐색 과정으로 해석한다. 따라서 write 구문은 단순 입출력 명령이 아니라, 증명 과정에서 필요한 가정(값)을 동적으로 삽입하는 연산자로 볼 수 있다.

한계점으로는 값 선택이 비결정적이므로 구현 시 사용자 인터페이스 설계가 필요하고, 대규모 시스템에서 다수의 write 구문이 동시에 발생할 경우 입력 관리가 복잡해질 수 있다. 또한 현재 제안은 값이 단일 변수에만 적용되며, 복합 구조(예: 배열, 구조체)에 대한 확장은 추가 연구가 요구된다.

전반적으로 본 논문은 C‑계열 언어에 선언적 인터랙션을 도입하는 새로운 구문과 그 의미론을 제시함으로써, 인터랙티브 프로그래밍을 보다 구조화된 방식으로 구현할 수 있는 가능성을 열어준다.