指称语义相关论文
该文旨在全面深入地研究实时数据库中的主动规则系统.在分析现有规则模型的基础上,提出一种基于图的规则模型E-RG,并全方位地研究......
建模和仿真技术日益成为研究复杂系统的主要手段。针对科学研究和产业领域的热点问题,涌现出大量仿真框架、模型、组件和工具等,其......
在研究关于CSP并发指称语义的不同研究方法的基础之上,利用广义状态的概念和完备距离空间作为指称的方法,讨论了OCCAM的一个子集OC......
接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了......
为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语......
