计算机科学 ›› 2017, Vol. 44 ›› Issue (1): 199-202.doi: 10.11896/j.issn.1002-137X.2017.01.038
苗德成,奚建清,苏锦钿
MIAO De-cheng, XI Jian-qing and SU Jin-dian
摘要： 传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。与传统语义建模方法相比,所提语义计算模型具有普适性,其语义解释与规则描述的能力更强。
| [1] CHEN Y Q.Formal Languages and Automata[M].Beijing:China Machine Press,2008.(in Chinese) 陈有祺.形式语言与自动机[M].北京:机械工业出版社,2008. [2] HE W.Category theory[M].Beijing:Science Press,2006.(inChinese) 贺伟.范畴论[M].北京:科学出版社,2006. [3] HAGINO T.A Categorical programming language[D].Edin-burgh,UK:Laboratory for Foundations of Computer Science,Dept.of Computer Science,University of Edinburgh,1987. [4] POLL E.Subtyping and inheritance for categorical data types[C]∥Proc.of Theories of Types and Proofs,Kyoto:Japan,RIMS Lecture Notes 1023.1998:112-125. [5] NOGUEIRA P,MORENO-NAVARRO J.Bialgebra views:away for polytypic programming to cohabit with data abstract[C]∥Proceedings of the ACM SIGPLAN Workshop on Generic Programming,New York,2008.NY:ACM,2008:61-73. [6] SU J D,YU S S.Coinductive data types and their applications in programming languages[J].Computer Science,2011,8(11):114-118.(in Chinese) 苏锦钿,余珊珊.程序语言中的共归纳数据类型及其应用[J].计算机科学,2011,8(11):114-118. [7] SU J D,YU S S.Comonadiccorecursions on strong coinductive data types[J].Journal of South China University of Technology(Natural Science Edition),2014,2(1):128-134.(in Chinese) 苏锦钿,余珊珊.强共归纳数据类型上的Comonadic共递归[J].华南理工大学学报(自然科学版),2014,2(1):128-134. [8] DOREL L,VLAD R.Program equivalence by circular reasoning[J].Formal Aspects of Computing,2015,7(4):701-726. [9] GHANI N,REVELL T,ATKEY R,et al.Fibrational units of measure [EB/OL].[2015-03-21].http://personal.cis.strath.ac.uk/neil.ghani/pub.htm. [10] KENNEDY A J.Relational parametricity and units of measure[C]∥Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(POPL ’97).New York:ACM,1997:442-455. [11] DENIS B,ALEXANDER D,ANNIE F.Categorical grammarswith iterated types form a strict hierarchy of k-valued languages[J].Theoretical Computer Science450,2012,450(13):22-30. [12] USA:Department of Computer Science,University of Illinois at Urbana-Champaign[R].Formal semantics and analysis of behavioral AADL models in real-time Maude,2010. [13] BARR M,WELLS C.Category theory for computing science[M].NewYork:Prentice-Hall,1990. [14] QU Y W.Formal semantics foundation and formal description(2nd Version)[M].Beijing:Science Press,2010.(in Chinese) 屈延文.形式语义学基础与形式说明(第二版)[M].北京:科学出版社,2010. [15] MIAO D C,XI J Q,JIA L Y,et al.Formal language algebraic model [J].Journal of South China University of Technology (Natural Science Edition),2011,39(10):74-78.(in Chinese) 苗德成,奚建清,贾连印,等.一种形式语言代数模型[J].华南理工大学学报(自然科学版),2011,9(10):74-78. [16] LI W.Mathematical Logic[M].Beijing:Science Press,2008.(in Chinese) 李未.数理逻辑[M].北京:科学出版社,2008. |
| No related articles found! |
|
||
首页