Logic Programming
-
MRK Krishna Rao, D Kapur and RK Shyamasundar, Transformational Methodology
for Proving termination of Logic Programs , January JLP 98
CSL
-
MRK Krishna Rao, D Kapur and RK Shyamasundar, Proving Termination of GHC Programs , New Generation Computing 1997
ICLP
-
MRK Krishna Rao, P Pandya and RK Shyamasundar, Verification Tools in the Development of Provably Correct Compilers
Formal-Methods-Europe
-
MRK Krishna Rao and RK Shyamasundar, Unification-free Execution
of well-moded and well-typed programs ,SAS 96
SAS96
-
B Wang and RK Shyamasundar A Methodology for Proving the Termination
of Logic Programs ,J. of Logic programming (JLP 1994)
METHODOLOGY