검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems 고차 재작성 시스템에 대한 강력한 계산 가능성을 기반으로 하는 정적 종속성 쌍 방법

Keiichirou KUSAKARI, Yasuo ISOGAI, Masahiko SAKAI, Frederic BLANQUI

  • 조회수

    0

  • 이것을 인용

요약 :

HRS(고차 재작성 시스템) 및 STRS(단순 유형 용어 재작성 시스템)는 기능 프로그램의 계산 모델입니다. 우리는 최근 STRS의 종료를 증명하기 위해 강력한 계산 가능성 개념을 기반으로 하는 매우 강력한 방법인 정적 종속성 쌍 방법을 제안했습니다. 본 논문에서는 이 방법을 HRS로 확장합니다. HRS에는 람다 추상화가 포함되어 있지만 STRS에는 포함되어 있지 않기 때문에 우리는 람다 추상화를 허용하도록 정적 종속성 쌍 방법을 재구성하고 정적 종속성 쌍 방법이 새로운 제한 없이 HRS에서도 잘 작동함을 보여줍니다.

발행
IEICE TRANSACTIONS on Information Vol.E92-D No.10 pp.2007-2015
발행일
2009/10/01
공개일
온라인 ISSN
1745-1361
DOI
10.1587/transinf.E92.D.2007
원고의 종류
PAPER
범주
계산 및 계산 모델

작성자

키워드