Proving Termination of GHC Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar. Proving Termination of GHC Programs. New Generation Comput., 15(3):293-338, 1997.

@article{RaoKS97,
  title = {Proving Termination of GHC Programs},
  author = {M. R. K. Krishna Rao and Deepak Kapur and R. K. Shyamasundar},
  year = {1997},
  tags = {termination},
  researchr = {https://researchr.org/publication/RaoKS97},
  cites = {0},
  citedby = {0},
  journal = {New Generation Comput.},
  volume = {15},
  number = {3},
  pages = {293-338},
}

runs on WebDSL