Clang matchers for verified usage of the C++ Standard Template Library

Gábor, Horváth [Horváth, Gábor (Informatika), szerző] PhD Informatika Doktori Iskola (ELTE / IK); Norbert, Pataki [Pataki, Norbert (Informatika), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)

Angol nyelvű Tudományos Szakcikk (Folyóiratcikk)
  • SJR Scopus - Computer Science (miscellaneous): Q4
Azonosítók
Szakterületek:
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2020-11-28 02:25