A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs (2007)

by Mario Méndez-lojo , Jorge Navas , Manuel V. Hermenegildo
Venue:In 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR’07
Citations:20 - 7 self