Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs Export

@inproceedings{citeulike:4893, abstract = {In this paper we present a type system for graph rewrite systems: uniqueness typing . It employs usage information to deduce whether an object is `unique' at a certain moment, i.e. is only locally accessible. In a type of a function it can be specified that the function requires a unique argument object. The correctness of type assignment guarantees that no external access on the original object will take place in the future. The presented type system is proven to be correct. We illustrate the...}, author = {Smetsers, Sjaak and Barendsen, Erik and van Eekelen, Marko C. J. D. v. and Plasmeijer, Marinus J.}, booktitle = {Dagstuhl Seminar on Graph Transformations in Computer Science}, citeulike-article-id = {4893}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.3125}, keywords = {clean, destructive-update, honu, uniqueness-types}, pages = {358--379}, posted-at = {2004-12-23 17:35:42}, title = {Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.3125}, year = {1993} }

TY - CONF ID - citeulike:4893 L3 - citeulike-article-id:4893 N2 - In this paper we present a type system for graph rewrite systems: uniqueness typing . It employs usage information to deduce whether an object is `unique' at a certain moment, i.e. is only locally accessible. In a type of a function it can be specified that the function requires a unique argument object. The correctness of type assignment guarantees that no external access on the original object will take place in the future. The presented type system is proven to be correct. We illustrate the... EP - 379 TI - Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs T2 - Dagstuhl Seminar on Graph Transformations in Computer Science SP - 358 KW - clean KW - destructive-update KW - honu KW - uniqueness-types AU - Smetsers, Sjaak AU - Barendsen, Erik AU - van Eekelen, Marko AU - Plasmeijer, Marinus PY - 1993/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.3125 ER -