Theories, Solvers and Static Analysis by Abstract Interpretation.

Autor: COUSOT, PATRICK1, COUSOT, RADHIA2, MAUBORGNE, LAURENT3
Zdroj: Journal of the ACM. Dec2012, Vol. 59 Issue 6, p31-56. 56p.
Databáze: Business Source Ultimate
Externí odkaz: