기관회원 [로그인]
소속기관에서 받은 아이디, 비밀번호를 입력해 주세요.
개인회원 [로그인]

비회원 구매시 입력하신 핸드폰번호를 입력해 주세요.
본인 인증 후 구매내역을 확인하실 수 있습니다.

회원가입
서지반출
상태를 갖는 함수형 프로그래밍 언어의 수행모델
[STEP1]서지반출 형식 선택
파일형식
@
서지도구
SNS
기타
[STEP2]서지반출 정보 선택
  • 제목
  • URL
돌아가기
확인
취소
  • 상태를 갖는 함수형 프로그래밍 언어의 수행모델
  • Exeution Model for Functional Programming Language with States
저자명
주형석,김홍읍,유원희,Ju. Hyeong-Seok,Kim. Hong-Eup,Yu. Won-Hui
간행물명
정보처리논문지
권/호정보
1997년|4권 3호|pp.846-858 (13 pages)
발행정보
한국정보처리학회
파일정보
정기간행물|
PDF텍스트
주제분야
기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
서지반출

기타언어초록

순수 함수형 프라그래밍 언어는 명확한 어의와 많은 특성에도 불구하고 상태의 표현이 어렵다는 문제점을 가지고 있다 이와 같은 문제로 인힝순수 함수형 언어에 상태를 표현 하기 위한 많은 연구가 진행되었으나 형시스템이나 감축규칙이 복잡하기 때문에 구현이 어렵다는 문제점이 발생된다. 따라서 효율적인 구현기 위해 감축규칙을 단순화시키고 상태를 효율적으로 관리할 수 있는 방안이 요구 된다. 본 논문에서는 순수 함수형 언어 의 성질을 침해함이 없이 상태를 표현할 수 있으며 감축규칙을 단순화 시킨 함수형 언어의 수행모델st-계산을 제안하고, 제안된 모델이 church-roser 정리를 만족함을 증명 하였다. 제안된 방법을 통해 구문구조의 표현력을 높일 수 있었으며, 감축규칙을 단순화 함으로써 구현이 용이할 것으로 기대된다.

기타언어초록

Despite elaegant semantics and a lot of features, pure functional programming languages do not provide an affcient way of represnting states.Many researches have been done to resolve the problem, however, another problem arises that it is hard to implement becaese of the complex type system and redujction rule.Therefore, the scheme which simplifies the reduction rule and maintains states effciently is needed to have the implemen-taiton dffetive.This paper proposes st-calculus, the excution model of a functinal language with states and proves that the proposed model satistiies the church-Rosser theorem.It has simple reduction rules and the ability of rerpresenting states without, and the difficulties with implementation may be reduced by simplifving the reduction rules.