Journal article

Abstract interpretation for termination analysis in functional active databases

J Bailey, A Poulovassilis

Journal of Intelligent Information Systems | Published : 1999

Citation metrics