The supercompiler uses both positive and negative data ( equalities and disequalities i.e. constraints ). So, in this case we have to maintain constraint system.
Perfect supercompilation is described in (Sorensen et al.).
Perfect super compiler Collection
The supercompiler uses both positive and negative data ( equalities and disequalities i.e. constraints ). So, in this case we have to maintain constraint system.
Perfect supercompilation is described in (Sorensen et al.).
Perfect super compiler Collection