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

Study on the Denotational Semantics-based Semantics of XML

下载PDF

导出

摘要　　0引言　　可扩展标记语言XML是W3C根据标准通用标记语言SGML设计的,是SGML的一个子集.XML替代HTML成为第二代Web应用的基础,也是下一代网络应用的基石[1,2].……

作者文书槐李振芳

出处《计算机科学》 CSCD 北大核心 2002年第z1期294-296,共3页 Computer Science

基金国家‘973’项目"数学机械化与自动推理平台"资助课题(No:G19980306).

参考文献9

1[1]Word Wide Web Consortium . Extensible Markup Language (XML) 1. 0 . http:// www. w3. org/TR/2000/REC-xml-20001006, October 2000
2[2]Bosak J,Bray T. XML and the Second-Generation Web. http://www. scientificamerican. com/1999/0599issue/0599bosak. html
3[3]Word Wide Web Consortium. Mathematical Markup Language (MathML) Version 2.0. http://www. w3. org/TR/MathML2/,February 2001
4[4]Berners-Lee T,Hendler J,Lassila O. The Semantic Web http://www. sciam. Com/2001/0501issue/0501berners-lee. html
5[5]Fensel D. The Semantic Web and Its Languages. IEEE Intelligent Systems ,2000,15(6): 67～73
6[6]Schmidt D A. Denotational Semantics: A Methodology For Language Development. ftp://ftp. cis. ksu. edu/pub/CIS/Schmidt/DenSem. tar. gz
7[7]屈延文.形式语义学基础与形式说明.科学出版社,1998
8[8]Pratt T W, Zelkowitz M V. Programming Language: Design and Implementation. Third Edition. Prentice Hall, Inc. 1996
9[9]Melnik S,Decker S. A Layered Approach to Information Modeling and Interoperability on The Web. In:Proc. ECDL'00 Workshop on the Semantic Web, Lisbon, Portugal, Sept. 2000

计算机科学

2002年第z1期

内容加载中请稍等...