Manipulating trees with hidden labels
File(s)DTR04-4.pdf (330.74 KB)
Published version
Author(s)
Gardelli, Luca
Gardner, Philippa
Ghelli, Giorgio
Type
Report
Abstract
We define an operational semantics and a type system for manipulating
semistructured data that contains hidden information. The data model is simple labeled
trees with a hiding operator. Data manipulation is based on pattern matching,
with types that track the use of hidden labels.
semistructured data that contains hidden information. The data model is simple labeled
trees with a hiding operator. Data manipulation is based on pattern matching,
with types that track the use of hidden labels.
Date Issued
2004-01-01
Citation
Departmental Technical Report: 04/4, 2004, pp.1-42
Publisher
Department of Computing, Imperial College London
Start Page
1
End Page
42
Journal / Book Title
Departmental Technical Report: 04/4
Copyright Statement
© 2004 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
Publication Status
Published
Article Number
04/4