Higher Order Logic Theorem Proving and Its Applications
6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
Editors: Joyce, Jeffrey J., Seger, Carl-Johan H. (Eds.)
Free PreviewBuy this book
- About this book
-
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove".
- Table of contents (40 chapters)
-
-
Program verification using HOL-UNITY
Pages 1-15
-
Graph model of LAMBDA in higher order logic
Pages 16-28
-
Mechanizing a programming logic for the concurrent programming language microSR in HOL
Pages 29-42
-
Reasoning with the formal definition of standard ML in HOL
Pages 43-60
-
HOL-ML
Pages 61-74
-
Table of contents (40 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Higher Order Logic Theorem Proving and Its Applications
- Book Subtitle
- 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
- Editors
-
- Jeffrey J. Joyce
- Carl-Johan H. Seger
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 780
- Copyright
- 1994
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-48346-5
- DOI
- 10.1007/3-540-57826-9
- Softcover ISBN
- 978-3-540-57826-0
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- X, 526
- Topics
