메타콤필레이션
Metacompilation |
메타콤필레이션(Metacompilation, Metacompilation)은 컴퓨팅 머신 M에서 메타마틴 M'으로 전이(MST)를 수반하는 연산이다. 부분평가, 슈퍼컴필레이션(SCP) 등 M Semantics 기반 프로그램 변환의 작업을 제어, 분석, 모방한다.프로그램 변압기가 스스로 변형될 때와 같이 메타시스템 전환이 반복될 수 있다.이러한 방식으로 모든 높이의 MST 계층 구조는 형성될 수 있다.폭스[clarification needed] 논문은 발렌틴 투르친의 REFAL 시스템에 의해 1960년대 후반에서 1970년대 초반에 러시아에서 시작되어, 프로그램 변환의 뚜렷한 방법으로서 슈퍼컴필레이션의 발전으로 알려지게 된 한 종류의 연구를 검토한다.본 연구 라인의 역사에 대해 간략하게 설명한 후, 논문은 슈퍼컴필레이션이 반복적인 메타시스템 전환과 결합되는 그 결과와 문제점에 초점을 맞춘다.null
참고 항목
외부 링크
- 제프 폭스, Ultra Technology의 Forth 프로그래밍 언어로 된 메타 컴파일
- 메타콤필레이션에 관한 논문
- 전이법: 메타시스템 전환 + 슈퍼컴필레이션 소개
