BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
1 × Hungary
1 × India
1 × Italy
1 × Portugal
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:
∅ R.K.Shyamasundar D.Kapur P.K.Pandya S.Junaidu T.Maghrabi M.Shafique M.Ahmed K.A.Faisal
Talks about:
program (4) termin (4) implement (2) hierarch (2) complet (2) rewrit (2) prove (2) logic (2) well (2) term (2)

Person: M. R. K. Krishna Rao

DBLP DBLP: Rao:M=_R=_K=_Krishna

Contributed to:

ITiCSE 20052005
LOPSTR 20042004
ICLP 20032003
JICSLP 19961996
RTA 19961996
SAS 19951995
FME 19931993
ICLP 19931993
CSL 19911991
TAPSOFT CAAP/FASE 19951995

Wrote 11 papers:

ITiCSE-2005-Rao
Infusing critical thinking skills into content of AI course (MRKKR), pp. 173–177.
ITiCSE-2005-RaoJMSAF #case study #design #education #implementation
Principles of curriculum design and revision: a case study in implementing computing curricula CC2001 (MRKKR, SJ, TM, MS, MA, KAF), pp. 256–260.
LOPSTR-2004-Rao #logic programming #source code
Input-Termination of Logic Programs (MRKKR), pp. 215–230.
ICLP-2003-Rao #polynomial
Polynomial-Time Learnability from Entailment (MRKKR), pp. 489–491.
JICSLP-1996-Rao #implementation
Completeness Results for Basic Narrowing in Non-Copying Implementations (MRKKR), pp. 393–407.
RTA-1996-Rao #composition #graph grammar #termination
Modularity of Termination in Term Graph Rewriting (MRKKR), pp. 230–244.
SAS-1995-RaoS #execution #prolog #source code
Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs (MRKKR, RKS), pp. 243–260.
FME-1993-RaoPS #compilation #development #tool support #verification
Verification Tools in the Development of Provably Correct Compilers (MRKKR, PKP, RKS), pp. 442–461.
ICLP-1993-RaoKS #haskell #proving #source code #termination
Proving Termination of GHC Programs (MRKKR, DK, RKS), pp. 720–736.
CSL-1991-RaoKS #logic programming #proving #source code #termination
A Transformational Methodology for Proving Termination of Logic Programs (MRKKR, DK, RKS), pp. 213–226.
TAPSOFT-1995-Rao #term rewriting
Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems (MRKKR), pp. 379–393.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.