Declaring and checking non-null types in an object-oriented language
Authors:
Open Access
- 26 October 2003
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 38 (11) , 302-312
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Extended static checking for Java2002
- CCured2002
- Enforcing high-level protocols in low-level softwareACM SIGPLAN Notices, 2001
- Marmot: an optimizing compiler for JavaSoftware: Practice and Experience, 2000
- The design of a class mechanism for Moby1999
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- Catching bugs in the web of program invariantsACM SIGPLAN Notices, 1996
- LCLint1994