Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Hash consing

Known as: Hash cons, Hashcons 
In computer science, particularly in functional programming, hash consing is a technique used to share values that are structurally equal. The term… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
In this paper, we present a new conversion of multivalued decision diagrams (MDD) to binary decision diagrams (BDD) which can be… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2017
2017
Variation is widespread in software artifacts (data and programs) and in some cases, such as software product lines, is widely… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2006
2006
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization… Expand
Is this relevant?
2006
2006
We investigate the interaction between structured recursion combinators and modularization in the style of Standard ML. When… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
We present improvements to the backtracking technique of pattern-matching compilation. Several optimizations are introduced, such… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2001
2001
  • R. O'Keefe
  • Theory Pract. Log. Program.
  • 2001
  • Corpus ID: 6340217
Imperative programmers often use cyclically linked trees in order to achieve O(1) navigation time to neighbours. Some logic… Expand
Is this relevant?
2000
2000
Abstract Efficient storage of types within a compiler is necessary to avoid large blowups in space during compilation. Recursive… Expand
Is this relevant?
1993
1993
We describe an implementation of hash-consing for the Standard ML of New Jersey compiler. Hash-consing can eliminate replication… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?