Verification Using Tabled Logic Programming

C. R. Ramakrishnan

Abstract:
Slides of the talk (.ps.gz, .pdf).

Bibtex Entry:

@inproceedings{Ram:CONCUR00,
author = {C. R. Ramakrishnan},
title = {Verification Using Tabled Logic Programming},
booktitle = {Eleventh International Conference on Concurrency Theory ({CONCUR})},
address = {State College, Pennsylvania},
month = {August},
series = {Lecture Notes in Computer Science},
volume = {1877},
publisher = {Springer},
pages = {89--91},
year = {2000}
}

Full Paper: [ps.gz] [pdf]

Home | Papers

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