Perfect super compiler Collection
driving
optimizer
constraints
transformer
specializer
source-to-source
abstract-interpretation
inequality
supercompiler
disequality
equalities
partial-evaluator
-
Updated
Mar 18, 2019 - Prolog