Conventional and Uniqueness Typing in Graph Rewrite Systems Export

@inproceedings{citeulike:4896, abstract = {In this paper we describe a Curry-like type system for graphs and extend it with uniqueness information to indicate that certain objects are only `locally accessible'. The correctness of type assignment guarantees that no external access on such an object will take place in the future. We prove that types are preserved under reduction (for both type systems) for a large class of rewrite systems. Adding uniqueness information provides a solution to two problems in implementations of functional...}, address = {New York, NY}, author = {Barendsen, Erik and Smetsers, Sjaak}, booktitle = {Proceedings of the 13th Conference on the Foundations of Software Technology and Theoretical Computer Science 1993, Bombay}, citeulike-article-id = {4896}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.3338}, keywords = {clean, destructive-update, honu, uniqueness-types}, posted-at = {2004-12-23 17:38:02}, publisher = {Springer-Verlag}, title = {Conventional and Uniqueness Typing in Graph Rewrite Systems}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.3338}, year = {1993} }

TY - CONF ID - citeulike:4896 L3 - citeulike-article-id:4896 N2 - In this paper we describe a Curry-like type system for graphs and extend it with uniqueness information to indicate that certain objects are only `locally accessible'. The correctness of type assignment guarantees that no external access on such an object will take place in the future. We prove that types are preserved under reduction (for both type systems) for a large class of rewrite systems. Adding uniqueness information provides a solution to two problems in implementations of functional... AD - New York, NY TI - Conventional and Uniqueness Typing in Graph Rewrite Systems PB - Springer-Verlag T2 - Proceedings of the 13th Conference on the Foundations of Software Technology and Theoretical Computer Science 1993, Bombay KW - clean KW - destructive-update KW - honu KW - uniqueness-types AU - Barendsen, Erik AU - Smetsers, Sjaak PY - 1993/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.3338 ER -