Formalizing Semantics of XSLT Using Object-Z

Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han. Formalizing Semantics of XSLT Using Object-Z. In Xiaofang Zhou, Yanchun Zhang, Maria E. Orlowska, editors, Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings. Volume 2642 of Lecture Notes in Computer Science, pages 120-131, Springer, 2003. [doi]

Authors

Hong Li Yang

This author has not been identified. Look up 'Hong Li Yang' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google

Ke Gang Hao

This author has not been identified. Look up 'Ke Gang Hao' in Google

Jun Gang Han

This author has not been identified. Look up 'Jun Gang Han' in Google