排序方式: 共有29条查询结果,搜索用时 0 毫秒
1.
本文给出从指称语义自动生成解释器后端的一种技术.解释器被表示成PASCAL_like形式. 相似文献
2.
C_MPS的设计与实现 总被引:1,自引:0,他引:1
元程序设计系统是进行元程序设计的有效工具。C_MPS(CMetaProgra-mming System)是我们在PC机上开发的C语言的元程序设计系统,本文介绍了该系统的设计思想和实现技术。 相似文献
3.
4.
基本图是一种描述并发交互诉形式化方法,它具有描述简洁、清晰和直观的特点,在基本图中,进程以及进程间的交互行为,既可以用图表示方法(其中一个图对应一个进程,图之间的归约对应进程之间的交互行为),又可以用项代数来表示,本文对基本图的图表示中进行了一些改动,并在此基础上给出了这两种表示方法之间的转换算法,同时实现了具有创建、编辑和转换功能的基本图规范描述工具。 相似文献
5.
Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在Monad程序设计环境中增加从一类Monad构造另一类Monad的自动生成器,那么既方便了用户也扩充了1倍原有的Monad库.鉴于这种思想,用支持Monad程序设计的高阶函数语言Haskell实现了一个Monad的自动生成系统.另外,用户构造Monad不仅要花费较多的时间,而且写出的Monad多态函数往往不满足Monad所需满足的几条公理,因此,从这方面也可以看出,从一种类型的Monad自动产生另一种类型的Monad的重要意义. 相似文献
6.
7.
8.
9.
指称语义分为直接指称语义和接续指称语义,其中后一种语义描述的难度较大,给出了直接指称语义描述到接续指称语义描述的转换方法,这就使得这种语义转换的自动化成为可能.转换算法揭示了直接指称语义与接续指称语义之间的内在关系,同时也提供了写接续指称语义描述的有效方法.当需要检验同一种语言的直接指称语义描述和接续指称语义描述是否等价时,提供的技术是很有用的。 相似文献
10.