排序方式: 共有24条查询结果,搜索用时 0 毫秒
21.
一种基于Monad反射语言解释器的构造 总被引:1,自引:0,他引:1
通过定义一个简单的反射语言, 给出了这种反射语言的一种基于Monad的解释器构造技术, 并以Haskell语言实现了这种语言的解释器。 相似文献
22.
本文讨论了代数规范说明技术及其到逻辑程序设计语言PROLOG的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ASL:然后介绍了由ASL描述的规格说明到PROLOG转换 的形式化方法;在这种方法的基础上设计了一个自动转换系统,该系统接受ASL语言描述的规格说明,通过转换规则,逐步将此规格说明转换成可执行的PROLOG语言程序。 相似文献
23.
为满足用户对网络实施主动性并能依据人的逻辑思维或任务间的逻辑关系进行通信,提出了逻辑虚拟主动网LVANet(Logical Virtual Active Network).LVANet是以移动Agent技术为基础,建立在现存的网络结构之上的用于反映任务间逻辑关系的一种网络.描述了LVANet的结构、特点及功能.采用移动Agent技术构建了LVANet的框架,给出了安全的主动包传送方案及安全访问控制方案.与传统虚拟主动网相比,LVANet灵活性强,消耗低,网络带宽可以节省3.8%,工作效率提高18%. 相似文献
24.
在扩展巴克斯范式(EBNF)Earley分析的基础上, 提出一个语义分析器的自动生成算法, 给出了一个带有语义动作的扩展文法和一个输入, 即可生成其语义分析器. 通过执行语义动作, 就可以进行类型检查、 中间代码生成及优化等相关工作, 使得该算法成为完整的扩展文法分析技术, 并在实际运用中成为可能. 相似文献