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