Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
Manipulating trees with hidden labels
File(s)
Author(s)
Cardelli, L
Gardner, P
Ghelli, G
Type
Journal Article
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.
Date Issued
2007-04-01
Date Acceptance
2007-03-01
Citation
Electronic Notes in Theoretical Computer Science, 2007, 172, pp.177-201
URI
DOI
ISSN
1571-0661
Publisher
Elsevier
Start Page
177
End Page
201
Journal / Book Title
Electronic Notes in Theoretical Computer Science
Volume
172
Copyright Statement
© 2007 Elsevier B.V. Open access under CC BY-NC-ND license (https://creativecommons.org/licenses/by-nc-nd/2.0/uk/).
Subjects
0802 Computation Theory and Mathematics
0803 Computer Software
1702 Cognitive Sciences
Computation Theory & Mathematics
Publication Status
Published
Date Publish Online
2007-03-12