재귀적 형성 및 구성 가능 능력의 1급 재사용을 위한 FormCraft
요약
FormCraft는 획득한 연산(operations)을 1급 능력(first-class capabilities)으로 표현하는 프레임워크입니다. 이 프레임워크는 도메인별 검증과 재귀적 구성을 통해 능력을 정의하며, 그 출처와 정체성을 보존합니다. 이를 통해 복합체가 역사적 과정을 거치지 않고도 동일한 인터페이스로 재사용될 수 있음을 형식적으로 입증했습니다.
핵심 포인트
- 획득된 연산을 1급 능력으로 표현하는 FormCraft 프레임워크 소개
- 재귀적 구성과 도메인별 검증을 통해 능력을 정의함
- 능력의 출처(provenance)와 정체성을 보존하며 재사용 가능함을 입증
- 연속형, 이산형 등 다양한 영역에서 인스턴스 독립적 재사용이 가능함
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.PL (Programming Languages)의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기