典型文献
基于Monad的可认证数据结构
文献摘要：
采用一种基于范畴论发展出来的Monad的实现方法,该方法可从编译器中提取操作性语义,然后将其等价转换为指示性语义.由于Monad方法普遍适用于函数式编程语言,使得基于Monad的可认证数据结构可根据源语言的语法生成新语言特性.优点是新语言特性的设计者无须深入了解修改编译器语法树,也无须修改源语言的语法,即可完成程序语言编译器之间语义的移植.
文献关键词：
可认证数据结构;范畴理论;类型理论;函数式编程;程序语言设计
中图分类号：
作者姓名：
贺新征;光焱;祝跃飞
作者机构：
中国人民解放军战略支援部队信息工程大学 河南 郑州450001;河南大学计算机与信息工程学院 河南 开封475000
文献出处：
引用格式：
[1]贺新征;光焱;祝跃飞-.基于Monad的可认证数据结构)[J].计算机应用与软件,2022(04):5-13,59
A类：
Monad,可认证数据结构
B类：
实现方法,编译器,等价转换,指示性,函数式编程,编程语言,源语言,语法,新语言,语言特性,设计者,无须,改编,范畴理论,类型理论,程序语言设计
AB值：
0.273226
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
