메뉴 건너뛰기




Volumn 2, Issue 6, 2008, Pages 515-531

Reducing the use of nullable types through non-null by default and monotonic non-null

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INFORMATION THEORY; SEMANTICS;

EID: 57649242629     PISSN: 17518806     EISSN: None     Source Type: Journal    
DOI: 10.1049/iet-sen:20080010     Document Type: Article
Times cited : (10)

References (64)
  • 3
    • 84885200306 scopus 로고    scopus 로고
    • Evaluating and tuning a static analysis to find null pointer bugs
    • (), 0163-5948
    • Hovemeyer, D., Spacco, J., and Pugh, W.: ' Evaluating and tuning a static analysis to find null pointer bugs ', SIGSOFT Softw. Eng. Notes, 2006, 31, (1), p. 13-19 0163-5948
    • (2006) SIGSOFT Softw. Eng. Notes , vol.31 , Issue.1 , pp. 13-19
    • Hovemeyer, D.1    Spacco, J.2    Pugh, W.3
  • 4
    • 57649186023 scopus 로고    scopus 로고
    • Kiniry, J.R.: 'ESC/Java2'. http://secure.ucd.ie/products/opensource/ ESCJava2
    • Kiniry, J.R.: 'ESC/Java2'. http://secure.ucd.ie/products/opensource/ ESCJava2, 2005
    • (2005)
  • 5
    • 14544301479 scopus 로고    scopus 로고
    • Finding bugs is easy
    • ()
    • Hovemeyer, D., and Pugh, W.: ' Finding bugs is easy ', ACM SIGPLAN Not., 2004, 39, (12), p. 92-106
    • (2004) ACM SIGPLAN Not. , vol.39 , Issue.12 , pp. 92-106
    • Hovemeyer, D.1    Pugh, W.2
  • 8
    • 84881144443 scopus 로고    scopus 로고
    • Houdini, an annotation assistant for ESC/Java
    • Berlin, Germany
    • Flanagan, C., and Leino, K.R.M.: ' Houdini, an annotation assistant for ESC/Java ', Proc. Int. Symp. Formal Methods Europe, Berlin, Germany, 2001, 2021, p. 500-517
    • (2001) Proc. Int. Symp. Formal Methods Europe , vol.2021 , pp. 500-517
    • Flanagan, C.1    Leino, K.R.M.2
  • 11
    • 57649214625 scopus 로고    scopus 로고
    • Annotations for software defect detection
    • Pugh W.: 'Annotations for software defect detection'. JCP.org, JSR 305, 2006
    • (2006) JCP.org, JSR , pp. 305
    • Pugh, W.1
  • 12
    • 57649241899 scopus 로고    scopus 로고
    • Annotations on Java types
    • 17 October 2006
    • Ernst M., Coward D.: 'Annotations on Java types'. JCP.org, JSR 308, 17 October 2006
    • JCP.org, JSR , pp. 308
    • Ernst, M.1    Coward, D.2
  • 14
    • 33646361565 scopus 로고    scopus 로고
    • Improving the quality of web-based enterprise applications with extended static checking: A case study
    • (), 1571-0661
    • Rioux, F., and Chalin, P.: ' Improving the quality of web-based enterprise applications with extended static checking: A case study ', Electron. Notes Theor. Comput. Sci., 2006, 157, (2), p. 119-132 1571-0661
    • (2006) Electron. Notes Theor. Comput. Sci. , vol.157 , Issue.2 , pp. 119-132
    • Rioux, F.1    Chalin, P.2
  • 19
    • 0038422187 scopus 로고
    • Software size measurement: A framework for counting source statements
    • Pittsburgh CMU/SEI-92-TR-20
    • Park R.: 'Software size measurement: a framework for counting source statements'. CMU, Software Engineering Institute, Pittsburgh CMU/SEI-92-TR-20, 1992
    • (1992) CMU, Software Engineering Institute
    • Park, R.1
  • 22
    • 0004207324 scopus 로고    scopus 로고
    • Compaq Systems Research Center, Research Report 159
    • ' Extended static checking ', Compaq Systems Research Center, Research Report 159, 1998
    • (1998) Extended Static Checking
  • 27
    • 57649241126 scopus 로고    scopus 로고
    • INRIA, Caml Documentation, Specific Guides
    • INRIA, 'Pointers in Caml'. Caml Documentation, Specific Guides, http://caml.inria.fr/resources/doc/, 2006
    • (2006) Pointers in Caml
  • 30
    • 0028517407 scopus 로고
    • Static typing for object-oriented programming
    • (), 10.1016/0167-6423(94)00014-X 0167-6423
    • Palsberg, J., and Schwartzbach, M.I.: ' Static typing for object-oriented programming ', Sci. Comput. Program., 1994, 23, (1), p. 19-53 10.1016/0167-6423(94)00014-X 0167-6423
    • (1994) Sci. Comput. Program. , vol.23 , Issue.1 , pp. 19-53
    • Palsberg, J.1    Schwartzbach, M.I.2
  • 32
    • 57649164464 scopus 로고    scopus 로고
    • 'Splint user manual'
    • University of Virginia, 5 June 2003
    • Evans D.: 'Splint user manual'. Secure Programming Group, University of Virginia, 5 June 2003
    • Secure Programming Group
    • Evans, D.1
  • 34
    • 0036147522 scopus 로고    scopus 로고
    • Improving security using extensible lightweight static analysis
    • (), 10.1109/52.976940 0740-7459
    • Evans, D., and Larochelle, D.: ' Improving security using extensible lightweight static analysis ', IEEE Softw., 2002, 19, (1), p. 42-51 10.1109/52.976940 0740-7459
    • (2002) IEEE Softw. , vol.19 , Issue.1 , pp. 42-51
    • Evans, D.1    Larochelle, D.2
  • 37
    • 34548837344 scopus 로고    scopus 로고
    • Cyclone: A type-safe dialect of C
    • ()
    • Grossman, D., Hicks, M., Jim, T., and Morrisett, G.: ' Cyclone: a type-safe dialect of C ', C/C++ Users J., 2005, 23, (1), p. 275-288
    • (2005) C/C++ Users J. , vol.23 , Issue.1 , pp. 275-288
    • Grossman, D.1    Hicks, M.2    Jim, T.3    Morrisett, G.4
  • 38
    • 52349088787 scopus 로고    scopus 로고
    • C run-time library: SAL annotations'. MSDN Library, Visual Studio 2008, Visual C++ Reference
    • Microsoft Developer Network, 'C run-time library: SAL annotations'. MSDN Library, Visual Studio 2008, Visual C++ Reference, 2008
    • (2008) Microsoft Developer Network
  • 39
    • 57649226628 scopus 로고    scopus 로고
    • 'Using the GNU compiler collection (GCC): GCC Version 4.1.0'. Free Software Foundation
    • Stallman R.: 'Using the GNU compiler collection (GCC): GCC Version 4.1.0'. Free Software Foundation, 2005
    • (2005)
    • Stallman, R.1
  • 40
    • 0019545768 scopus 로고
    • The structure of the MARY/2 Compiler
    • 10.1002/spe.4380110303
    • Rain, M.: ' The structure of the MARY/2 Compiler ', Softw.-Pract. Exp., 1981, 11, (3), p. 225-235 10.1002/spe.4380110303
    • (1981) Softw.-Pract. Exp. , vol.11 , Issue.3 , pp. 225-235
    • Rain, M.1
  • 45
    • 57649164463 scopus 로고    scopus 로고
    • A typed procedural language for checking object-oriented programs
    • Technical Report
    • ' BoogiePL: a typed procedural language for checking object-oriented programs ', Microsoft Research, Technical Report, 2005
    • (2005) Microsoft Research
    • Boogie, P.L.1
  • 48
    • 18944398305 scopus 로고    scopus 로고
    • Using kinds to type partially-polymorphic methods
    • 1571-0661
    • Bonniot, D.: ' Using kinds to type partially-polymorphic methods ', Electron. Notes Theor. Comput. Sci., 2003, 75, p. 1-20 1571-0661
    • (2003) Electron. Notes Theor. Comput. Sci. , vol.75 , pp. 1-20
    • Bonniot, D.1
  • 51
    • 57649205061 scopus 로고    scopus 로고
    • Lea K.: 'Nully'. https://nully.dev.java.net, 2005
    • (2005) Nully
    • Lea, K.1
  • 52
    • 57649164417 scopus 로고    scopus 로고
    • Nullable How-To'. IntelliJ IDEA 5.x Developer Documentation: JetBrains
    • JetBrains: 'Nullable How-To'. IntelliJ IDEA 5.x Developer Documentation: JetBrains, 2006
    • (2006)
    • Brains, J.1
  • 54
    • 0037374916 scopus 로고    scopus 로고
    • JastAdd - An aspect-oriented compiler construction system
    • (), 10.1016/S0167-6423(02)00109-0 0167-6423
    • Hedin, G., and Magnusson, E.: ' JastAdd - an aspect-oriented compiler construction system ', Sci. Comput. Program., 2003, 47, (1), p. 37-58 10.1016/S0167-6423(02)00109-0 0167-6423
    • (2003) Sci. Comput. Program. , vol.47 , Issue.1 , pp. 37-58
    • Hedin, G.1    Magnusson, E.2
  • 56
    • 38149109170 scopus 로고    scopus 로고
    • Non-null references by default in Java: Alleviating the nullity annotation burden
    • Berlin, Germany, July-August, (LNCS, 4609)
    • Chalin, P., and James, P.R.: ' Non-null references by default in Java: Alleviating the nullity annotation burden ', Proc 21st European Conf. Object-Oriented Programming (ECOOP), Berlin, Germany, July-August, 2007, p. 227-247, (LNCS, 4609)
    • (2007) Proc 21st European Conf. Object-Oriented Programming (ECOOP) , pp. 227-247
    • Chalin, P.1    James, P.R.2
  • 57
    • 26444465053 scopus 로고    scopus 로고
    • Attached types and their application to three open problems of object-oriented programming
    • Glasgow, July, 25-29, (LNCS, 3586)
    • Meyer, B.: ' Attached types and their application to three open problems of object-oriented programming ', Proc. European Conf. Object-Oriented Programming (ECOOP), Glasgow, July, 25-29, 2005, p. 1-32, (LNCS, 3586)
    • (2005) Proc. European Conf. Object-Oriented Programming (ECOOP) , pp. 1-32
    • Meyer, B.1
  • 59
    • 57649241064 scopus 로고    scopus 로고
    • Pluggable non-null types for Java
    • To be Published
    • ' Pluggable non-null types for Java ', In Proceeding of TOOLS Europe, 2007, To be Published
    • (2007) Proceeding of TOOLS Europe


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.