AlgoTouch: 명령형 프로그램의 점진적 구축을 위한 실행 중심 접근 방식

명령형 언어 (Imperative languages)에서의 프로그램 구축은 여전히 프로그램 데이터에 작용하는 명령 시퀀스를 지정하는 텍스트 코드를 작성하는 방식에 크게 의존하고 있습니다. 이러한 접근 방식은 개발자가 진화하는 데이터 상태에 대한 명령의 영향을 예측하도록 요구하며, 이는 초기 및 점진적 개발 단계에서 인지 부하 (Cognitive load)와 오류 발생 가능성을 높입니다. 본 논문은 프로그램 데이터의 직접적인 조작을 통해 명령형 프로그램을 점진적으로 구축하기 위한 실행 기반 시스템인 AlgoTouch를 제시합니다. 구문 구조 (Syntactic structures)를 조립하는 대신, 프로그램은 기록되어 내부 중간 표현 (Intermediate representation)에 통합되는 구체적인 데이터 변환을 실행함으로써 구축됩니다. AlgoTouch는 데이터 저장, 계산 및 제어 흐름 (Control flow)을 노출하는 명시적인 개념적 머신 (Notional machine)에 의존하여, 관찰된 실행과 프로그램 구조 사이의 지속적인 정렬을 가능하게 합니다. 이 시스템의 핵심적인 기여는 실행 동작으로부터 제어 구조 (Control structures)를 결정론적으로 합성하는 데 있습니다. 조건문 (Conditional statements)은 관찰된 비교로부터 도출되며, 반복 동작 (Iterative behaviors)은 비선형적이고 점진적인 구축을 지원하는 루프 매크로 (Loop macros)에 캡슐화됩니다. 이러한 설계는 부분적이고 불완전한 프로그램이 의미론적 일관성 (Semantic consistency)을 유지하면서 실행, 개선 및 완성될 수 있도록 합니다. AlgoTouch는 Python, C, C++, Java를 포함한 여러 주요 명령형 언어에서 정확하고 읽기 쉬운 프로그램을 자동으로 생성합니다. 본 시스템은 대표적인 알고리즘 벤치마크 세트에 대한 엔지니어링 수준의 검증을 통해 정확성, 표현력, 견고성 및 언어 독립성을 입증하였습니다. 실행, 구축 및 코드 생성을 단일 아키텍처 내에 통합함으로써, 본 연구는 대화형 프로그램 구축을 위한 대안적 모델을 도입하고 실행 중심 개발 시스템의 새로운 클래스에 기여합니다.