지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 시스템 및 이론 정보과학회논문지 : 시스템 및 이론 제35권 제3·4호
- 발행연도
- 2008.4
- 수록면
- 178 - 185 (8page)
이용수
초록· 키워드
오류제보하기
본 연구에서는 패턴을 갖는 항 개서 체계(TRS, Term Rewriting Systems)의 룰을 람다 계산법으로 코딩하는 변환 방법을 제시한다. Bohm의 분리성 이론에 따라 차별화된 룰 패턴을 갖는 분리 시스템은 람다 계산법으로 변환될 수 있음을 보인다. 또한, Bohm 동등 부류의 특성을 적용함으로써, 이 변환은 디폴트 룰로 된 개서 시스템을 코딩할 수 있으며 TRS의 ‘의미 없는 텀’들을 동일한 람다 텀으로 해석 할 수 있도록 한다.
목차
요약
Abstract
1. Introduction
2. Bohm Trees and Bohm-Out Transformation
3. Separability in TRS
4. Interpretation and Translation
5. Related Works and Conclusion
References
Appendix
참고문헌 (11)
참고문헌 신청
1. [학술대회논문] - N. Dershowitz / 1991 / Open problems in rewriting - no. 1 / In 4th International Conference on Rewriting Techniques and Applications : 445 ~ 456
2. [단행본] - G. Berry / 1978 / Stable models of typed λ-calculi. In Automata and Languages and Programming / Lecture Notes in Computer Science : 72 ~ 89
3. [단행본] - C. Böhm / 1968 / Alcune proprietà delle forme β-η-normalinel λ-K-calcolo / IAC Pubbl
4. [학술대회논문] - S. Byun / 1996 / Lambda- definable Term Rewriting Systems / In Asian Computer Science Conference `96 : 106 ~ 115
5. [단행본] - H. Barendregt / 1984 / The Lambda Calculus: Its Syntax and Semantics / North-Holland
2. [단행본] - G. Berry / 1978 / Stable models of typed λ-calculi. In Automata and Languages and Programming / Lecture Notes in Computer Science : 72 ~ 89
3. [단행본] - C. Böhm / 1968 / Alcune proprietà delle forme β-η-normalinel λ-K-calcolo / IAC Pubbl
4. [학술대회논문] - S. Byun / 1996 / Lambda- definable Term Rewriting Systems / In Asian Computer Science Conference `96 : 106 ~ 115
5. [단행본] - H. Barendregt / 1984 / The Lambda Calculus: Its Syntax and Semantics / North-Holland
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
분리가능 시스템의 지수 추이성과 변환
정보과학회논문지 : 소프트웨어 및 응용
2004 .05
-
람다 계산법에 관한 퍼즐
프로그래밍언어연구회지
1999 .12
-
지연 함수형 프로그래밍 언어의 항 개서 의미
정보과학회논문지 : 시스템 및 이론
2008 .04
-
람다 센서의 외부 오염에 따른 출력 데이터
대한설비공학회 학술발표대회논문집
2019 .06
-
Separable 시스템의 특성
정보과학회논문지(A)
1998 .04
-
하드웨어 기술을 위한 선형 람다 셈법의 타입 유추
한국정보과학회 학술발표논문집
2010 .11
-
람다-이중 삼각익 날개를 가진 비행체의 유동 해석
한국항공우주학회 학술발표회 초록집
2019 .11
-
람다익 비행체에서 Pitch-up 지연을 와류 발생기의 최적 설계
한국전산유체공학회 학술대회논문집
2018 .05
-
프로그램 변환을 이용한 병렬수행 컴비네이터의 생성
한국정보과학회 학술발표논문집
1994 .04
-
람다익 항공기에서 종축 안정성의 비선형성 완화를 위한 와류 발생기의 최적 설계
한국항공우주학회 학술발표회 초록집
2019 .04
-
분리성에 기반한 직교항 개서 시스템의 변환
정보과학회논문지 : 소프트웨어 및 응용
2001 .08
-
람다 패시브하우스를 통해 살펴본 Energy# 적용 사례
태양에너지
2018 .06
-
람다 바이폴라 트랜지스터의 Spice 모델링 ( Spice Modeling of the Lambda Bipolar Transistors )
대한전자공학회 학술대회
1991 .11
-
Rewrite System의 Polynomial Ordering의 자동생성
한국정보과학회 학술발표논문집
1998 .10
-
람다익 항공기에서 종축 안정성의 비선형성 완화를 위한 날개 형상 최적 설계
한국항공우주학회 학술발표회 초록집
2020 .07
-
람다 바이폴라 트랜지스터와 광트랜지스터의 설계, 제작 및 특성에 관한 연구 ( A Study on Design, Fabrication and Characterization of the Lambda Bipolar Transistors and Phototransistors )
전자공학회논문지-A
1991 .07
-
Reflective Systems in Rewriting Language
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1998 .01
-
레코드 접합 연산을 포함한 다형적 레코드 계산
정보과학회논문지(B)
1996 .11
-
Mechanized Proof of Type Preservation for Polymorphic Lambda Calculi Using Abella
Journal of KIISE
2020 .05
-
유출 / 유입을 이용한 모듈러 최적화 람다리프팅
(구)정보과학회논문지
1995 .07
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2010-569-001418327