Declaring and checking non-null types in an object-oriented language
Top Cited Papers
- 26 October 2003
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 38 (11) , 302-312
- https://doi.org/10.1145/949305.949332
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- CCuredPublished by Association for Computing Machinery (ACM) ,2002
- 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 MobyPublished by Association for Computing Machinery (ACM) ,1999
- 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
- LCLintPublished by Association for Computing Machinery (ACM) ,1994