Earticle

현재 위치 Home

Semantic Behavior of Indexed Co-inductive Data Type in Fibrational Setting

첫 페이지 보기
  • 발행기관
    보안공학연구지원센터(IJUNESST) 바로가기
  • 간행물
    International Journal of u- and e- Service, Science and Technology 바로가기
  • 통권
    Vol.9 No.6 (2016.06)바로가기
  • 페이지
    pp.253-266
  • 저자
    Miao De-cheng, Xi Jian-qing, Jiang Chang-jin, Liang Yong-lin
  • 언어
    영어(ENG)
  • URL
    https://www.earticle.net/Article/A278488

※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.

원문정보

초록

영어
Traditional methods such as category theory and coalgebra have some drawbacks to analyze semantic behavior of indexed co-inductive data type. Aiming at the problem above, this paper explored indexed co-inductive data type in programming by Fibrations theory. Our main work was that we firstly made some basic logical structures of indexed co-inductive data type over a fibration such as truth and quotient functor; using endo-functor in base categories and their equation-preserving lifting in total categories, then we analyzed semantic behavior of indexed co-inductive data type; at last we briefly introduced applications of Fibrations theory on indexed co-inductive data type by example. Compared with traditional methods, brief descriptions and flexible expansibility of Fibrations theory can analyze semantic behavior of indexed co-inductive data type accurately, and superior abstractness of Fibrations theory doesn’t rely on particular computing environments to compute semantics.

목차

Abstract
 1. Introduction
 2. Fibration and Op-Fibration
  2.1. Fibration and Re-Indexed Functor
  2.2. Op-Fibration and Opposite Re-indexed Functor
  2.3. Adjunction Property of Re-indexed and Op- re-indexed Functor
 3. Semantic Property of Indexed Co-inductive Data Type
  3.1. Truth Functor and Relation Fibration
  3.2. Indexed Fibration and Its Equation Functor
  3.3. Quotient Functor and Its Lifting Equation-Preserving
  3.5. Example Analysis
 4. Related Works
 5. Conclusions
 Acknowledgements
 References

키워드

Semantic Behavior Coinduction rule Fibrations theory Lifting Co-recursive operation

저자

  • Miao De-cheng [ School of Information Science and Engineering, Shaoguan University, Shaoguan Guangdong 512005, China ]
  • Xi Jian-qing [ School of Software, South China University of Technology, Guangzhou Guangdong 510640, China ]
  • Jiang Chang-jin [ School of Information Science and Engineering, Shaoguan University, Shaoguan Guangdong 512005, China ]
  • Liang Yong-lin [ School of Information Science and Engineering, Shaoguan University, Shaoguan Guangdong 512005, China ]

참고문헌

자료제공 : 네이버학술정보

간행물 정보

발행기관

  • 발행기관명
    보안공학연구지원센터(IJUNESST) [Science & Engineering Research Support Center, Republic of Korea(IJUNESST)]
  • 설립연도
    2006
  • 분야
    공학>컴퓨터학
  • 소개
    1. 보안공학에 대한 각종 조사 및 연구 2. 보안공학에 대한 응용기술 연구 및 발표 3. 보안공학에 관한 각종 학술 발표회 및 전시회 개최 4. 보안공학 기술의 상호 협조 및 정보교환 5. 보안공학에 관한 표준화 사업 및 규격의 제정 6. 보안공학에 관한 산학연 협동의 증진 7. 국제적 학술 교류 및 기술 협력 8. 보안공학에 관한 논문지 발간 9. 기타 본 회 목적 달성에 필요한 사업

간행물

  • 간행물명
    International Journal of u- and e- Service, Science and Technology
  • 간기
    격월간
  • pISSN
    2005-4246
  • 수록기간
    2008~2016
  • 십진분류
    KDC 505 DDC 605

이 권호 내 다른 논문 / International Journal of u- and e- Service, Science and Technology Vol.9 No.6

    피인용수 : 0건 (자료제공 : 네이버학술정보)

    함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.

      출처 : 네이버학술정보

        0개의 논문이 장바구니에 담겼습니다.

        페이지 저장
        소속기관 조회
        이용자님의 소속기관(단체)이 서비스에 가입되어 있는지 확인해 보십시오.
        기관회원에 소속되어 있는 이용자는 원문을 무료로 이용할 수 있습니다.