Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)
Manuel V. Hermenegildo
◽
Germán Puebla
◽
Francisco Bueno
◽
Pedro López-García
2015 ◽
Vol 3
(4)
◽
pp. 262-269
Lianping Ti
◽
◽
Despina Tzemis
◽
Margot Kuo
◽
Jane Buxton
Wilson A. Judd
◽
Harold F. O'Neil
◽
Philip F. Spelt
Melissa Graham
◽
Romana Lopez
Yeo-Ju Chung
◽
Sungman Shin
◽
Do Hyung Lee
◽
Ji Yun Kim
◽
Su Jung Ryu
◽
...