-
1
-
-
0003518498
-
-
3rd edn. (Addison-Wesley Professional)
-
Gosling, J., Joy, B., Steele, G., and Bracha, G.: ' The Java Language Specification ', 3rd edn. (Addison-Wesley Professional, 2005)
-
(2005)
The Java Language Specification
-
-
Gosling, J.1
Joy, B.2
Steele, G.3
Bracha, G.4
-
3
-
-
84885200306
-
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
-
-
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
-
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
-
6
-
-
25844470866
-
The Spec programming system: An overview
-
Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T., Marseille, France, March, 10-14, (LNCS, 3362)
-
Barnett, M., Leino, K.R.M., and Schulte, W.: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T., ' The Spec programming system: an overview ', 'Proc. Int. Workshop on the Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS)', Marseille, France, March, 10-14, 2004, (LNCS, 3362)
-
(2004)
'Proc. Int. Workshop on the Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS)'
-
-
Barnett, M.1
Leino, K.R.M.2
Schulte, W.3
-
7
-
-
1442313104
-
Declaring and checking non-null types in an object-oriented language
-
' '
-
Fähndrich, M., and Leino, K.R.M.: ' Declaring and checking non-null types in an object-oriented language ', Proc. 18th annual ACM SIGPLAN Conf. Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA'03, 2003, p. 302-312
-
(2003)
Proc. 18th Annual ACM SIGPLAN Conf. Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA'03
, pp. 302-312
-
-
Fähndrich, M.1
Leino, K.R.M.2
-
8
-
-
84881144443
-
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
-
9
-
-
38849102910
-
An integrated verification environment for JML: Architecture and early results
-
Cavtat, Croatia, September, 3-4
-
Chalin, P., James, P.R., and Karabotsos, G.: ' An integrated verification environment for JML: architecture and early results ', Proc. 6th Int. Workshop on Specification and Verification of Component-Based Systems (SAVCBS), Cavtat, Croatia, September, 3-4, 2007, p. 47-53
-
(2007)
Proc. 6th Int. Workshop on Specification and Verification of Component-Based Systems (SAVCBS)
, pp. 47-53
-
-
Chalin, P.1
James, P.R.2
Karabotsos, G.3
-
11
-
-
57649214625
-
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
-
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
-
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
-
15
-
-
19044375174
-
An overview of JML tools and applications
-
et al. ()
-
Burdy, L., Cheon, Y., and Cok, D.R.: et al. ' An overview of JML tools and applications ', Int. J. Softw. Tools Technol. Transf. (STTT), 2005, 7, (3), p. 212-232
-
(2005)
Int. J. Softw. Tools Technol. Transf. (STTT)
, vol.7
, Issue.3
, pp. 212-232
-
-
Burdy, L.1
Cheon, Y.2
Cok, D.R.3
-
16
-
-
25844442786
-
ESC/Java2: Uniting ESC/Java and JML
-
Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T., Marseille, France, March, 10-14, (LNCS, 3362)
-
Cok, D.R., and Kiniry, J.R.: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T., ' ESC/Java2: Uniting ESC/Java and JML ', 'Proc. Int. Workshop on the Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS'04)', Marseille, France, March, 10-14, 2004, p. 108-128, (LNCS, 3362)
-
(2004)
'Proc. Int. Workshop on the Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS'04)'
, pp. 108-128
-
-
Cok, D.R.1
Kiniry, J.R.2
-
17
-
-
38149127055
-
The KOA remote voting system: A summary of work to-date
-
et al. Lucca, Italy, November, 7-9
-
Kiniry, J.R., Morkan, A.E., and Fairmichael, F.: et al. ' The KOA remote voting system: A summary of work to-date ', Proc. Symposium on Trustworthy Global Computing (TGC), Lucca, Italy, November, 7-9, 2006, p. 244-262
-
(2006)
Proc. Symposium on Trustworthy Global Computing (TGC)
, pp. 244-262
-
-
Kiniry, J.R.1
Morkan, A.E.2
Fairmichael, F.3
-
19
-
-
0038422187
-
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
-
-
Compaq Systems Research Center, Research Report 159
-
' Extended static checking ', Compaq Systems Research Center, Research Report 159, 1998
-
(1998)
Extended Static Checking
-
-
-
27
-
-
57649241126
-
-
INRIA, Caml Documentation, Specific Guides
-
INRIA, 'Pointers in Caml'. Caml Documentation, Specific Guides, http://caml.inria.fr/resources/doc/, 2006
-
(2006)
Pointers in Caml
-
-
-
28
-
-
0003630846
-
-
et al. (Springer, New York)
-
Liskov, B., Moss, E., and Snyder, A.: ' CLU reference manual ', et al. (Springer, New York, 1984)
-
(1984)
CLU Reference Manual
-
-
Liskov, B.1
Moss, E.2
Snyder, A.3
-
29
-
-
85029493521
-
Type substitution for object-oriented programming
-
Ottawa, Canada, ACM
-
Palsberg, J., and Schwartzbach, M.I.: ' Type substitution for object-oriented programming ', Proc. European Conf. Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, Ottawa, Canada, 1990, ACM
-
(1990)
Proc. European Conf. Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications
-
-
Palsberg, J.1
Schwartzbach, M.I.2
-
30
-
-
0028517407
-
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
-
'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
-
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
-
36
-
-
85084164164
-
Cyclone: A safe dialect of C
-
Monterey, CA, June
-
Jim, T., Morrisett, G., Grossman, D., Hicks, M., Cheney, J., and Wang, Y.: ' Cyclone: a safe dialect of C ', Proc. USENIX Annual Technical Conf., Monterey, CA, June, 2002, p. 275-288
-
(2002)
Proc. USENIX Annual Technical Conf.
, pp. 275-288
-
-
Jim, T.1
Morrisett, G.2
Grossman, D.3
Hicks, M.4
Cheney, J.5
Wang, Y.6
-
37
-
-
34548837344
-
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
-
-
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
-
-
'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
-
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
-
43
-
-
34250666292
-
LINQ: Reconciling object, relations and xml in the.net framework
-
Chicago, IL, ACM
-
Erik, M., Brian, B., and Gavin, B.: ' LINQ: reconciling object, relations and xml in the.net framework ', Proc. ACM SIGMOD Int. Conf. Management of Data, Chicago, IL, 2006, ACM
-
(2006)
Proc. ACM SIGMOD Int. Conf. Management of Data
-
-
Erik, M.1
Brian, B.2
Gavin, B.3
-
44
-
-
33644883461
-
The essence of data access in Cω
-
Glasgow
-
Bierman, G., Meijer, E., and Schulte, W.: ' The essence of data access in Cω ', Proc. European Conf. Object-Oriented Programming (ECOOP), Glasgow, 2005
-
(2005)
Proc. European Conf. Object-Oriented Programming (ECOOP)
-
-
Bierman, G.1
Meijer, E.2
Schulte, W.3
-
45
-
-
57649164463
-
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
-
46
-
-
38149135965
-
Non-null types in an object-oriented language
-
Malaga, Spain
-
Fähndrich, M., and Leino, K.R.M.: ' Non-null types in an object-oriented language ', Proc. Workshop on Formal Techniques for Java-like Languages, Malaga, Spain, 2002
-
(2002)
Proc. Workshop on Formal Techniques for Java-like Languages
-
-
Fähndrich, M.1
Leino, K.R.M.2
-
47
-
-
70350695984
-
The Spec programming system: Challenges and directions
-
et al. Zürich, Switzerland
-
Barnett, M., DeLine, R., and Jacobs, B.: et al. ' The Spec programming system: challenges and directions ', Int. Conf. Verified Software: Theories, Tools, Experiments (VSTTE), Zürich, Switzerland, 2005
-
(2005)
Int. Conf. Verified Software: Theories, Tools, Experiments (VSTTE)
-
-
Barnett, M.1
Deline, R.2
Jacobs, B.3
-
48
-
-
18944398305
-
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
-
-
Lea K.: 'Nully'. https://nully.dev.java.net, 2005
-
(2005)
Nully
-
-
Lea, K.1
-
52
-
-
57649164417
-
-
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
-
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
-
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
-
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
-
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
-
-
-
60
-
-
34547257846
-
Propagation of JML non-null annotations in Java programs
-
Mannheim, Germany
-
Cielecki, M., Fulara, J., Jakubczyk, K., and Jancewicz, L.: ' Propagation of JML non-null annotations in Java programs ', Proc. Int. Conf. Principles and Practices of Programming in Java (PPPJ), Mannheim, Germany, 2006
-
(2006)
Proc. Int. Conf. Principles and Practices of Programming in Java (PPPJ)
-
-
Cielecki, M.1
Fulara, J.2
Jakubczyk, K.3
Jancewicz, L.4
-
61
-
-
0003880013
-
-
(Addison-Wesley)
-
Gamma, E., Helm, R., Johnson, R., and Vlissides, J.: ' Design patterns: elements of reusable object-oriented software ', (Addison-Wesley, 1995)
-
(1995)
Design Patterns: Elements of Reusable Object-Oriented Software
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
62
-
-
57649170274
-
JML4: Towards an industrial grade IVE for java and next generation research platform for JML
-
Toronto, Canada, October, 6-9
-
Chalin, P., James, P.R., and Karabotsos, G.: ' JML4: towards an industrial grade IVE for java and next generation research platform for JML ', Proc. Conf. Verified Software: Theories, Tools, Experiments (VSTTE), Toronto, Canada, October, 6-9, 2008
-
(2008)
Proc. Conf. Verified Software: Theories, Tools, Experiments (VSTTE)
-
-
Chalin, P.1
James, P.R.2
Karabotsos, G.3
-
63
-
-
42149191185
-
Establishing object invariants with delayed types
-
Montreal
-
Fähndrich, M., and Xia, S.: ' Establishing object invariants with delayed types ', Proc. ACM Conf. Object-Oriented Programming, Systems, and Applications, Montreal, 2007
-
(2007)
Proc. ACM Conf. Object-Oriented Programming, Systems, and Applications
-
-
Fähndrich, M.1
Xia, S.2
|