Practical Model-Based Static Analysis for Definite Logic Programs.

Autor: Gallagher, John, Boulanger, Dmitri, Sağlam, Hüseyin
Zdroj: Logic Programming (9780262291248); 1995, p351-365, 15p
Databáze: Complementary Index
Externí odkaz: