Skip to main content

On the generalization of substitutions as applied to program static analysis problem

Egor V. Kostylev and Vladimir A. Zakharov

Journal
Moscow University Computational Mathematics and Cybernetics
Number
4
Pages
42–49
Volume
29
Year
2005