MONADS

作品数：6被引量：7H指数：1
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：苏锦钿余珊珊李师贤苗德成奚建清更多>>
相关机构：华南理工大学中山大学韶关学院更多>>
相关期刊：《Frontiers of Computer Science》《华南理工大学学报（自然科学版）》《计算机科学》更多>>
相关基金：国家自然科学基金广东省自然科学基金中央高校基本科研业务费专项资金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Using coalgebras and the Giry monad for interpreting game logics a tutorial
《Frontiers of Computer Science》2017年第6期948-970,共23页Ernst-Erich DOBERKAT 
The stochastic interpretation of Parikh＇s game logic should not follow the usual pattern of Kripke models, which in turn are based on the Kleisli morphisms for the Giry monad, rather, a specific and more general appr...
关键词：COALGEBRAS modal logics MONADS Giry monad upper closed monad composition of monads game logics 
形式语言基于Monads的语义计算模型
《计算机科学》2017年第1期199-202,218,共5页苗德成 奚建清 苏锦钿 
国家自然科学基金项目(61103039);广东省自然科学基金项目(S2013010015944);广东省高等学校优秀青年教师培养计划项目(YQ2014155)资助
传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。...
关键词：语义计算 MONADS 伴随函子 形式语言 Kleisli范畴 
广义共迭代及其计算律被引量：3
《华南理工大学学报（自然科学版）》2012年第9期62-68,共7页苏锦钿 余珊珊 
国家自然科学基金资助项目(61103039);高等学校博士学科点专项科研基金资助项目(20100172120043);华南理工大学中央高校基本科研业务费专项资金资助项目(2009ZM0158)
针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value...
关键词：函数式编程 共归纳数据类型 终结共代数 共递归 MONADS 范畴论 
对象行为等价的终结共代数语义被引量：1
《计算机科学》2012年第2期179-182,190,共5页余珊珊 李师贤 苏锦钿 
国家自然科学基金项目(60673122);广东省自然科学基金项目(8151030007000002)资助
终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满...
关键词：对象 行为等价 共代数方法 终结共代数 强Monads 
一种基于共代数的面向对象形式语义被引量：1
《计算机科学》2011年第8期142-146,共5页余珊珊 李师贤 苏锦钿 
国家自然科学基金资助项目(60673122);广东省自然科学基金资助项目(8151030007000002)资助
针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成...
关键词：面向对象方法 形式语义 共代数方法 强Monads 
A novel formal approach to program slicing被引量：3
《Science in China(Series F)》2007年第5期657-670,共14页ZHANG YingZhou 
Supported by the Natural Science Research Plan for High School of Jiangsu Province (Grant No. 05KJD520151)
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. The current slicing methods, however, are singular （mainly based on a program or...
关键词：program slicing MONADS MODULARITY slice monad transformer formal semantics 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部