Yang Hong
Abstract
This paper describes the formal semantics of XPath language. A unifying Objected-Oriented semantic view has been used to model all language constructs of XPath. The presentation of semantics uses formal specification language Object-Z notation. This highly structured semantic model is concise, composable and extensible.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
This paper describes the formal semantics of XPath language. A unifying Objected-Oriented semantic view has been used to model all language constructs of XPath. The presentation of semantics uses formal specification language Object-Z notation. This highly structured semantic model is concise, composable and extensible.
Key concepts: Computer science, Programming language, XPath, Formal semantics (linguistics), Semantics (computer science), Object (grammar), Operational semantics, Notation