Sciweavers

FOSSACS
2003
Springer

Manipulating Trees with Hidden Labels

13 years 9 months ago
Manipulating Trees with Hidden Labels
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.
Luca Cardelli, Philippa Gardner, Giorgio Ghelli
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where FOSSACS
Authors Luca Cardelli, Philippa Gardner, Giorgio Ghelli
Comments (0)