Geodesic
Towards null safety benchmarks for object initialization
Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 6, pp. 718-729

Voir la notice de l'article provenant de la source Math-Net.Ru

Null pointer dereferencing remains one of the major issues in modern object-oriented languages. An obvious addition of keywords to distinguish between never null and possibly null references appears to be insufficient during object initialization when some fields declared as never null may be temporary null before the initialization completes. This work identifies the key reasons of the object initialization problem. It suggests scenarios and metrics to be used as the benchmarks to compare solutions of this problem. Finally, it demonstrates application of the benchmarks on the proposed solution for object initialization in Eiffel. The article is published in the author’s wording.
Keywords: null pointer dereferencing, null safety, void safety, object initialization, static analysis, null safety benchmarks. 
@article{MAIS_2017_24_6_a4,
     author = {A. V. Kogtenkov},
     title = {Towards null safety benchmarks for object initialization},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {718--729},
     publisher = {mathdoc},
     volume = {24},
     number = {6},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a4/}
}
TY  - JOUR
AU  - A. V. Kogtenkov
TI  - Towards null safety benchmarks for object initialization
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2017
SP  - 718
EP  - 729
VL  - 24
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a4/
LA  - en
ID  - MAIS_2017_24_6_a4
ER  - 
%0 Journal Article
%A A. V. Kogtenkov
%T Towards null safety benchmarks for object initialization
%J Modelirovanie i analiz informacionnyh sistem
%D 2017
%P 718-729
%V 24
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a4/
%G en
%F MAIS_2017_24_6_a4
A. V. Kogtenkov. Towards null safety benchmarks for object initialization. Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 6, pp. 718-729. http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a4/