Search results for "hash-consing"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
192	Jean-Christophe Filliâtre, Sylvain Conchon	Type-safe modular hash-consing.	ML	2006	DBLP DOI BibTeX RDF	hash-consing, data structures, sharing
50	Neng-Fa Zhou, Christian Theil Have	Efficient Tabling of Structured Data with Enhanced Hash-Consing	CoRR	2012	DBLP BibTeX RDF
50	Neng-Fa Zhou, Christian Theil Have	Efficient tabling of structured data with enhanced hash-consing.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
41	Pascal Cuoq, Damien Doligez	Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2.	ML	2008	DBLP DOI BibTeX RDF	hash-consing, maximal sharing, weak hashtables, weak pointers, weak references, garbage collection, ocaml
41	Robert S. Boyer, Warren A. Hunt Jr.	Function memoization and unique object representation for ACL2 functions.	ACL2	2006	DBLP DOI BibTeX RDF	ACL2 workshop, function memoization, hash CONS, hash CONSing, Lisp, ACL2
32	Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier	Compiling language definitions: the ASF+SDF compiler.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	language definition, maximal subterm sharing, Compilation, term rewriting
32	Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine	Program Representation Size in an Intermediate Language with Intersection and Union Types.	Types in Compilation	2000	DBLP DOI BibTeX RDF
32	Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper	Efficient Incremental Evaluation of Higher order Attribute Grammars.	PLILP	1991	DBLP DOI BibTeX RDF

Displaying result #1 - #8 of 8 (100 per page; Change: )