首页|基于Monad的可认证数据结构

基于Monad的可认证数据结构

AUTHENTICATED DATA STRUCTURE BASED ON MONAD

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 维普
  • 万方数据
采用一种基于范畴论发展出来的Monad的实现方法,该方法可从编译器中提取操作性语义,然后将其等价转换为指示性语义.由于Monad方法普遍适用于函数式编程语言,使得基于Monad的可认证数据结构可根据源语言的语法生成新语言特性.优点是新语言特性的设计者无须深入了解修改编译器语法树,也无须修改源语言的语法,即可完成程序语言编译器之间语义的移植.

贺新征、光焱、祝跃飞

展开 >

中国人民解放军战略支援部队信息工程大学 河南 郑州450001

河南大学计算机与信息工程学院 河南 开封475000

可认证数据结构 范畴理论 类型理论 函数式编程 程序语言设计

国家重点研发计划

2016YFB0801601

2022

10.3969/j.issn.1000-386x.2022.04.002

计算机应用与软件
上海市计算技术研究所 上海计算机软件技术开发中心

计算机应用与软件

CSTPCD北大核心
影响因子：0.615
ISSN：1000-386X
年,卷(期)：2022.39(4)
  • 18