Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of South China University of Technology(Natural Science Edition)》 2014-01
Add to Favorite Get Latest Update

Comonadic Corecursions on Strong Coinductive Data Types

Su Jin-dian;Yu Shan-shan;School of Computer Science and Engineering,South China University of Technology;College of Medical Information Engineering,Guangdong Pharmaceutical University;  
As the unfold on coinductive data types can not describe the corecursive functions with parameters,the final coalgebras on Cartesian closed category are proved to be strongly final,and a category-theoretical definition of strong coinductive data types as well as the corresponding corecursion with fixed parameters,which is called punfold,is proposed. As a result,the corecursion defined on coinductive data types may include extra parameters as the input of calculation. Moreover,the comonadic corecursions based on comonads is used to give a unified description for unfold and punfold,and various calculation laws for punfold are further analyzed. Thus,the researches of Pardo on the recursions with parameters via Comonads are successfully extended to coinductive data types.
【Fund】: 国家自然科学基金资助项目(61103038);; 高等学校博士学科点专项科研基金资助项目(20100172120043);; 华南理工大学中央高校基本科研业务费专项资金资助项目(2013ZZ0055)
【CateGory Index】: TP301.2
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【Citations】
Chinese Journal Full-text Database 3 Hits
1 Su Jin-dian1 Yu Shan-shan2(1.School of Computer Science and Engineering,South China University of Technology,Guangzhou 510006,Guangdong,China; 2.School of Information Science and Technology,Sun Yet-Sen University,Guangzhou 510275,Guangdong,China);Corecursion Operations and Its Calculation Laws on Coinductive Data Types[J];Journal of South China University of Technology(Natural Science Edition);2011-10
2 Su Jin-dian1 Yu Shan-shan2(1.School of Computer Science and Engineering,South China University of Technology,Guangzhou 510006,Guangdong,China; 2.School of Information Science and Technology,Sun Yat-Sen University,Guangzhou 510275,Guangdong,China);Bialgebraic Structure of Abstract Data Types[J];Journal of South China University of Technology(Natural Science Edition);2011-12
3 SU Jin-dian1 YU Shan-shan2(College of Computer Science and Engineering,South China University of Technology,Guangzhou 510640,China)1(School of Information Science and Technology,Sun Yet-Sen University,Guangzhou 510275,China)2;Coinductive Data Types and their Applications in Programming Languages[J];Computer Science;2011-11
【Co-citations】
Chinese Journal Full-text Database 6 Hits
1 Su Jin-dian1 Yu Shan-shan2(1.School of Computer Science and Engineering,South China University of Technology,Guangzhou 510006,Guangdong,China; 2.School of Information Science and Technology,Sun Yat-Sen University,Guangzhou 510275,Guangdong,China);Bialgebraic Structure of Abstract Data Types[J];Journal of South China University of Technology(Natural Science Edition);2011-12
2 Su Jindian1 and Yu Shanshan21(College of Computer Science and Engineering,South China University of Technology,Guangzhou510640)2(School of Information Science and Technology,Sun Yet-sen University,Guangzhou510275)Abstract Most of;Bialgebraic Structures for Abstract Data Types and Their Computations[J];Journal of Computer Research and Development;2012-08
3 Su Jin-dian1 Yu Shan-shan2(1.School of Computer Science and Engineering,South China University of Technology,Guangzhou 510006,Guangdong,China; 2.School of Information Science and Technology,Sun Yet-Sen University,Guangzhou 510275,Guangdong,China);Generalised Coiteration and Its Calculation Laws[J];Journal of South China University of Technology(Natural Science Edition);2012-09
4 Yu Shanshan1, Li Shixian1, and Su Jindian2 1(School of Information Science and Technology, Sun Yet-sen University, Guangzhou 510275) 2(College of Computer Science and Engineering, South China University of Technology, Guangzhou 510640);Hylomorphisms with Parameters and Its Associated Calculational Laws[J];Journal of Computer Research and Development;2013-03
5 Su Jindian;Yu Shanshan;College of Computer Science and Engineering,South China University of Technology;College of Medical Information Engineering,Guangdong Pharmaceutical University;;Corecursive Operations with Parameters and the Associated Calculational Laws[J];Journal of Computer Research and Development;2013-12
6 Su Jin-dian1Yu;Shan-shan;School of Computer Science and Engineering,South China University of Technology;School of Information Science and Technology,Sun Yet-Sen University;;Subtype of Categorical Data Types[J];Journal of South China University of Technology(Natural Science Edition);2013-09
【Secondary Citations】
Chinese Journal Full-text Database 1 Hits
1 Su Jin-dian1 Yu Shan-shan2(1.School of Computer Science and Engineering,South China University of Technology,Guangzhou 510006,Guangdong,China; 2.School of Information Science and Technology,Sun Yet-Sen University,Guangzhou 510275,Guangdong,China);Corecursion Operations and Its Calculation Laws on Coinductive Data Types[J];Journal of South China University of Technology(Natural Science Edition);2011-10
Similar Journals
> Journal of Software
> Computer Science
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved