Machine-Checking the Java Specification: Proving Type-Safety
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 119-156
- https://doi.org/10.1007/3-540-48737-9_4
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- PolyTOIL: A Type-Safe Polymorphic Object-Oriented LanguagePublished by Springer Nature ,2000
- Proving Java Type SoundnessPublished by Springer Nature ,1999
- A Programmer Friendly Modular Definition of the Semantics of JavaPublished by Springer Nature ,1999
- Type inference verified: Algorithm W in Isabelle/HOLPublished by Springer Nature ,1998
- The security of static typing with dynamic linkingPublished by Association for Computing Machinery (ACM) ,1997
- Pizza into JavaPublished by Association for Computing Machinery (ACM) ,1997
- Function definition in higher-order logicPublished by Springer Nature ,1996
- Safe and decidable type checking in an object-oriented languageACM SIGPLAN Notices, 1993
- A Proposal for Making Eiffel Type-safeThe Computer Journal, 1989