Detail publikace

Applying Custom Patterns in Semantic Equality Analysis

ŠILLING, P.; MALÍK, V.; VOJNAR, T. Applying Custom Patterns in Semantic Equality Analysis. In Networked Systems. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2022. p. 265-282. ISBN: 978-3-031-17436-0.
Název česky
Použití vlastních vzorů změn při analýze sémantické ekvivalence
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Šilling Petr, Ing. (UPGM)
Malík Viktor, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

static analysis, program analysis, semantic difference, semantic equivalence, semantic change patterns, pattern matching, parametrized control-flow graphs

Abstrakt

Článek představuje nový přístup pro použití vlastních vzorů změn v kontextu automatické analýzy sémantické ekvivalence velkých projektů.

Rok
2022
Strany
265–282
Sborník
Networked Systems
Řada
Lecture Notes in Computer Science
Svazek
13464
ISBN
978-3-031-17436-0
Vydavatel
Springer Nature Switzerland AG
Místo
Cham
DOI
10.1007/978-3-031-17436-0_18
UT WoS
000891776100018
EID Scopus
2-s2.0-85140443305
BibTeX 
@inproceedings{BUT181497,
  author="Petr {Šilling} and Viktor {Malík} and Tomáš {Vojnar}",
  title="Applying Custom Patterns in Semantic Equality Analysis",
  booktitle="Networked Systems",
  year="2022",
  series="Lecture Notes in Computer Science",
  volume="13464",
  pages="265--282",
  publisher="Springer Nature Switzerland AG",
  address="Cham",
  doi="10.1007/978-3-031-17436-0\{_}18",
  isbn="978-3-031-17436-0",
  url="https://link.springer.com/chapter/10.1007/978-3-031-17436-0_18"
}
Nahoru