Geodesic
A static analysis method for safe comparison functors in C++
Annales mathematicae et informaticae, Tome 52 (2020), pp. 5-18.

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website

@article{AMI_2020_52_a0,
     author = {Bence Babati and Norbert Pataki},
     title = {A static analysis method for safe comparison functors in {C++}},
     journal = {Annales mathematicae et informaticae},
     pages = {5--18},
     publisher = {mathdoc},
     volume = {52},
     year = {2020},
     doi = {10.33039/ami.2020.12.003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.33039/ami.2020.12.003/}
}
TY  - JOUR
AU  - Bence Babati
AU  - Norbert Pataki
TI  - A static analysis method for safe comparison functors in C++
JO  - Annales mathematicae et informaticae
PY  - 2020
SP  - 5
EP  - 18
VL  - 52
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.33039/ami.2020.12.003/
DO  - 10.33039/ami.2020.12.003
LA  - en
ID  - AMI_2020_52_a0
ER  - 
%0 Journal Article
%A Bence Babati
%A Norbert Pataki
%T A static analysis method for safe comparison functors in C++
%J Annales mathematicae et informaticae
%D 2020
%P 5-18
%V 52
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.33039/ami.2020.12.003/
%R 10.33039/ami.2020.12.003
%G en
%F AMI_2020_52_a0
Bence Babati; Norbert Pataki. A static analysis method for safe comparison functors in C++. Annales mathematicae et informaticae, Tome 52 (2020), pp. 5-18. doi : 10.33039/ami.2020.12.003. http://geodesic.mathdoc.fr/articles/10.33039/ami.2020.12.003/

Cité par Sources :