Logics for XML / Logiques pour XML
👁 1 lượt xem↓ 0 lượt tải qua VietLexVietLex bảo vệ quyền riêng tư của bạn — không tracking, không chia sẻ thông tin tải về cho bên thứ ba.
📑 Trích dẫn đầy đủ (citation)
APA-like:
Tác giả chưa xác định. Logics for XML / Logiques pour XML. Thesis, HAL - Pháp.
Việt Nam (chuẩn TCVN 5453:1991):
. Logics for XML / Logiques pour XML. Thesis. HAL - Pháp. Truy cập từ .
Tóm tắt
This thesis describes the theoretical and practical foundations of a system for the static analysis of XML processing languages. The system relies on a fixpoint temporal logic with converse, derived from the mu-calculus, where models are finite trees. This calculus is expressive enough to capture regular tree types along with multi-directional navigation in trees, while having a single exponential time complexity. Specifically the decidability of the logic is proved in time 2^O(n) where n is the - HAL URI: https://theses.hal.science/tel-00133591v3