单子语义相关论文
为解决含过程程序的单子切片问题，提出基于回填待定标号的两阶段单子切片算法．算法第1阶段用给定标号初始化子过程的形参切片表，并通......
程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以......
