Type-Safe Modular Hash-Consing Export

@inproceedings{citeulike:4289374, abstract = {Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamental operations and data structures by several orders of magnitude when sharing is maximal. This paper introduces an OCaml hash-consing library that encapsulates hash-consed terms in an abstract datatype, thus safely ensuring maximal sharing. This library is also parameterized by an equality that allows the user to identify terms according to an arbitrary equivalence relation.}, address = {New York, NY, USA}, author = {Filli\^{a}tre, Jean C. and Conchon, Sylvain}, booktitle = {ML '06: Proceedings of the 2006 workshop on ML}, citeulike-article-id = {4289374}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1159880}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1159876.1159880}, citeulike-linkout-2 = {http://www.lri.fr/~filliatr/ftp/publis/hash-consing2.ps.gz}, doi = {10.1145/1159876.1159880}, isbn = {1-59593-483-9}, keywords = {equivalence, hash-consing, ocaml, performance, sharing, type-safety}, location = {Portland, Oregon, USA}, pages = {12--19}, posted-at = {2009-04-08 15:00:10}, priority = {2}, publisher = {ACM}, title = {Type-Safe Modular Hash-Consing}, url = {http://dx.doi.org/10.1145/1159876.1159880}, year = {2006} }

TY - CONF ID - citeulike:4289374 L3 - citeulike-article-id:4289374 N2 - Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamental operations and data structures by several orders of magnitude when sharing is maximal. This paper introduces an OCaml hash-consing library that encapsulates hash-consed terms in an abstract datatype, thus safely ensuring maximal sharing. This library is also parameterized by an equality that allows the user to identify terms according to an arbitrary equivalence relation. CY - Portland, Oregon, USA SN - 1-59593-483-9 AD - New York, NY, USA EP - 19 TI - Type-Safe Modular Hash-Consing PB - ACM T2 - ML '06: Proceedings of the 2006 workshop on ML SP - 12 KW - equivalence KW - hash-consing KW - ocaml KW - performance KW - sharing KW - type-safety AU - Filliâtre, Jean AU - Conchon, Sylvain PY - 2006/// UR - http://dx.doi.org/10.1145/1159876.1159880 ER -