Manipulating Trees with Hidden Labels
Authors
- Luca Cardelli
- Philippa Gardner
- Giorgio Ghelli
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.
Venue
Proceedings of the 6th International Conference on Foundations of Software Science and Computational Structures (FOSSACS’03), pp. 216–232
Publication Date
Apr 2003