Annales mathematicae et informaticae, Tome 44 (2015), pp. 99-109
Citer cet article
Gábor Horváth; Norbert Pataki. Clang matchers for verified usage of the C++ Standard Template Library. Annales mathematicae et informaticae, Tome 44 (2015), pp. 99-109. http://geodesic.mathdoc.fr/item/AMI_2015_44_a8/
@article{AMI_2015_44_a8,
author = {G\'abor Horv\'ath and Norbert Pataki},
title = {Clang matchers for verified usage of the {C++} {Standard} {Template} {Library}},
journal = {Annales mathematicae et informaticae},
pages = {99--109},
year = {2015},
volume = {44},
language = {en},
url = {http://geodesic.mathdoc.fr/item/AMI_2015_44_a8/}
}
TY - JOUR
AU - Gábor Horváth
AU - Norbert Pataki
TI - Clang matchers for verified usage of the C++ Standard Template Library
JO - Annales mathematicae et informaticae
PY - 2015
SP - 99
EP - 109
VL - 44
UR - http://geodesic.mathdoc.fr/item/AMI_2015_44_a8/
LA - en
ID - AMI_2015_44_a8
ER -
%0 Journal Article
%A Gábor Horváth
%A Norbert Pataki
%T Clang matchers for verified usage of the C++ Standard Template Library
%J Annales mathematicae et informaticae
%D 2015
%P 99-109
%V 44
%U http://geodesic.mathdoc.fr/item/AMI_2015_44_a8/
%G en
%F AMI_2015_44_a8
