Reasoning about Java Programs in Higher Order Logic Using PVS and Isabelle

Marieke Huisman

Published by IPA, 2001

About this Item

2001 first edition, IPA (Nijmegen, Netherlands), 6 5/8 x 9 1/2 inches tall trade paperback, 239 pp. Slight staining, rubbing and edgewear to covers. Slight yellow staining to fore page edges, and a small amount to half title page and copyright page (facing the title page). Otherwise, apart from a couple of pages with very slight marginal soiling, a very good copy - clean, bright and unmarked - of this scarce text. ~OOO~ [2.0P] Contents: Introduction; A Semantics for Java; Interactive Theorem Provers: PVS and Isabelle; The LOOP Tool; A Hoare Logic for Java; Class Specification and the Java Modeling Language (JML); Two Case Studies: Verifications of Java Library Classes; Concluding Remarks; Subject Index; Java Semantics Index; Definition and Symbol Index; Appendix - Hoare Logic Rules; Samenvatting; Curriculum Vitae.

Seller Inventory # OOO-0881-9621

Bibliographic Details

• Title: Reasoning about Java Programs in Higher Order Logic Using PVS and Isabelle
• Publisher: IPA
• Publication Date: 2001
• Binding: Paperback
• Condition: Very Good