Tabled Logic Programming for Verification and Program Analysis

C. R. Ramakrishnan

Abstract:

Bibtex Entry:

@article{Ram:SEN00,
author = {C. R. Ramakrishnan},
title = {Tabled Logic Programming for Verification and Program Analysis},
journal = {ACM Software Engineering Notes},
volume = {25},
number = {1},
pages = {30--},
month = {November},
year = {2000}
}

Full Paper: [pdf]

Home | Papers

C. R. Ramakrishnan
(cram@cs.sunysb.edu)