Proving termination of GHC programs
Krishna Rao, M. R. K., Kapur, D., Shyamasundar, R. K.
Published in New generation computing (01.01.1997)
Published in New generation computing (01.01.1997)
Get full text
Journal Article
A class of prolog programs with non-linear outputs inferable from positive data
Get full text
Conference Proceeding
Some characteristics of strong innermost normalization
Get full text
Journal Article
Conference Proceeding
Modular proofs for completeness of hierarchical term rewriting systems
Get full text
Journal Article
Conference Proceeding
Transformational methodology for proving termination of logic programs
Krishna Rao, M.R.K., Kapur, Deepak, Shyamasundar, R.K.
Published in The journal of logic programming (1998)
Published in The journal of logic programming (1998)
Get full text
Journal Article