Paper accepted to WLPE '13

Jul 2, 2013

Efficiently Retrieving Function Dependencies in the Linux Kernel using XSB
Spyros Hadjichristodoulou, Donald E. Porter, and David S. Warren
(PDF)
In Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE ‘13), Istanbul, Turkey, August 2013.