Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover. Hofmann 0001, M. & Tang, F. In Proceedings of Theorem Proving in Higher Order Logics (TPHOLs), pages 268-282, 2000.
Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover [link]Paper  bibtex   
@inproceedings{ dblp4483995,
  title = {Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover},
  author = {Martin Hofmann 0001 and Francis Tang},
  author_short = {Hofmann 0001, M. and Tang, F.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2000},
  key = {dblp4483995},
  id = {dblp4483995},
  biburl = {http://www.dblp.org/rec/bibtex/conf/tphol/HofmannT00},
  url = {http://dx.doi.org/10.1007/3-540-44659-1_17},
  conference = {TPHOLs},
  pages = {268-282},
  text = {TPHOLs 2000:268-282},
  booktitle = {Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)}
}

Downloads: 0