Manipulating Trees with Hidden Labels

DOI10.1016/j.entcs.2007.02.007zbMath1277.68116OpenAlexW2078059420WikidataQ56982049 ScholiaQ56982049MaRDI QIDQ2864150

Philippa Gardner, Luca Cardelli, Giorgio Ghelli

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.007

zbMATH Keywords

operational semanticssemistructured datatype systemsinformation hiding

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Data structures (68P05)

Uses Software

• SLMC
• XQuery
• Lorel

Cites Work

• A spatial logic for concurrency. II
• A spatial logic for concurrency. I
• Object identity as a query language primitive
• Deciding validity in a spatial logic for trees
• The Logic of Bunched Implications
• Typing Correspondence Assertions for Communication Protocols
• Anytime, anywhere
• Context logic and tree update
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Manipulating Trees with Hidden Labels