Justification Based on Program Transformation

Haifeng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan

Abstract:

Bibtex Entry:

@inproceedings{GRR:LOPSTR02,
author = {Haifeng Guo and  C. R. Ramakrishnan and  I. V. Ramakrishnan},
title = {Justification Based on Program Transformation},
booktitle = {Logic Based Program Development and Transformation ({LOPSTR})},
address = {Madrid, Spain},
month = {September},
pages = {},
year = {2002}
}

Full Paper: [pdf]

Home | Papers

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