基于指称语义的可扩展标记语言的语义研究

摘要：

本文的工作就是考虑如何应用指称语义来描述XML的语义,具体的讨论是针对MathML展开的,由于MathML是XML在数学领域的应用,所以这种讨论并不失一般性.另外,本文的工作还包括开发一个面向MathML的解释器来解释MathML文档并完成数学表达式的计算.

关键词： 指称语义 XML MathML 可扩展标记语言 数学标记语言

作者: 文书槐 李振芳

作者单位: 兰州大学信息科学与工程学院(兰州)

会议类型: 国内会议

会议名称: 2002年全国理论计算机科学学术年会

会议地点: 长沙

会议语种:中文

页码: 294-296

在线出版日期: 2002-10-01（万方平台首次上网日期，不代表论文的发表时间）