Proving Java Type Soundness
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Bug found in Java Virtual MachineNetwork Security, 1997
- PVS: Combining specification, proof checking, and model checkingPublished by Springer Nature ,1996
- HOL Light: A tutorial introductionPublished by Springer Nature ,1996
- A fixedpoint approach to implementing (Co)inductive definitionsPublished by Springer Nature ,1994
- Mechanical Theorem-Proving by Model EliminationJournal of the ACM, 1968