%0 Journal Article
%T 基于object-z的xpath形式化语义
%A 杨红丽 郝克刚 韩俊刚？
%J 计算机科学
%D 2004
%X 本文描述了xpath语言的形式化语义。一个统一的面向对象的语义视角用于建模所有xpath语言构造。语义的表示采用形式化规范语言object-z的符号系统。这种高度结构化的语义模型具有简洁、可组合性和可复用性的特点。
%K xpath语言形式化语义object-z面向对象数据类型程序设计语言
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=9323004&flag=1