10. TPHOLs 1997: Murray Hill, NJ, USA

Elsa L. Gunter, Amy P. Felty (Eds.): Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings. Lecture Notes in Computer Science 1275 Springer 1997, ISBN 3-540-63379-0 BibTeX

@proceedings{DBLP:conf/tphol/1997,
  editor    = {Elsa L. Gunter and
               Amy P. Felty},
  title     = {Theorem Proving in Higher Order Logics, 10th International Conference,
               TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings},
  booktitle = {TPHOLs},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1275},
  year      = {1997},
  isbn      = {3-540-63379-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Sten Agerholm, Jacob Frost: An Isabelle-Based Theorem Prover for VDM-SL. 1-16 BibTeX
James H. Andrews: Executing Formal Specifications by Translation to Higher Order Logic Programming. 17-32 BibTeX
Myla Archer, Constance L. Heitmeyer: Human-Style Theorem Proving Using PVS. 33-48 BibTeX
Albert John Camilleri: A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor. 49-67 BibTeX
Boutheina Chetali, Barbara Heyd: Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis. 69-85 BibTeX
Robert L. Constable: ML Programming in Constructive Type Theory (abstract). 87 BibTeX
Marco Devillers, W. O. David Griffioen, Olaf Müller: Possibly Infinite Sequences in Theorem Provers: A Comparative Study. 89-104 BibTeX
Gilles Dowek: Proof Normalization for a First-Order Formulation of Higher-Order Logic. 105-119 BibTeX
Bruno Dutertre, Steve Schneider: Using a PVS Embedding of CSP to Verify Authentication Protocols. 121-136 BibTeX
John Harrison: Verifying the Accuracy of Polynomial Approximations in HOL. 137-152 BibTeX
Daniel Hirschkoff: A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions. 153-169 BibTeX
Deepak Kapur: Rewriting, Decision Procedures and Lemma Speculation for Automated Hardware Verification. 171-182 BibTeX
Thomas Långbacka, Joakim von Wright: Refining Reactive Systems in HOL Using Action Systems. 183-197 BibTeX
Takahisa Mohri: On Formalization of Bicategory Theory. 199-214 BibTeX
Wolfgang Naraschewski: Towards an Object-Oriented Progification Language. 215-230 BibTeX
Doron Peled: Verification for Robust Specification. 231-241 BibTeX
Thomas Santen: A Theory of Structured Model-Based Specifications in Isabelle/HOL. 243-258 BibTeX
Martin Simons: Proof Presentation for Isabelle. 259-274 BibTeX
Konrad Slind: Derivation and Use of Induction Schemes in Higher-Order Logic. 275-290 BibTeX
Oscar Slotosch: Higher Order Quotients and their Implementation in Isabelle HOL. 291-306 BibTeX
Markus Wenzel: Type Classes and Overloading in Higher-Order Logic. 307-322 BibTeX
Vincent Zammit: A Comparative Study of Coq and HOL. 323-337 BibTeX