Factotum : Automatic and Systematic Sharing Support for Symbolic Computation

@inproceedings{Sherman1997FactotumA,
  title={Factotum : Automatic and Systematic Sharing Support for Symbolic Computation},
  author={David James Sherman},
  year={1997}
}
Factotumis a software system for implementing symbolic computing sy stems, such as BDDs and tuple sets, that critically rely on sharing o f equivalent subterms. It provides an subterm sharing facility that is automaticand systematic , analogously to the way that automatic memory management is provid ed by a garbage collector. It also provides a high-level… CONTINUE READING