Detail publikace

Towards Efficient Shape Analysis with Tree Automata

HOLÍK Lukáš a HRUŠKA Martin. Towards Efficient Shape Analysis with Tree Automata. In: Proceedings International Conference on Networked Systems. Lecture notes in Computer Science. Cham: Springer Verlag, 2021, s. 206-214. ISSN 0302-9743.
Název česky
Za efektivní analýzou tvaru pomocí stromových automatů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Hruška Martin, Ing. (UITS FIT VUT)
Abstrakt

Diskutujeme náš návrh formalismu pro reprezentaci tříd grafů na základě stromových automatů. Naším cílem je vytvořit formalismus a algoritmus entailmentu, který by se dal použít při verifikaci ukazatelových programů, který by byl efektivní, měl dobře definované záruky úplnosti a byl obecný. Věříme, že vybudování formalismu na bázi stromových automatů umožní využít stávající pokročilé techniky implementace stromových automatů. Nastíníme základní myšlenky formalismu a rozhodovací procedury entailmentu a nastíníme některé související výzkumné úkoly.

Translated with www.DeepL.com/Translator (free version)

Rok
2021
Strany
206-214
Časopis
Lecture Notes in Computer Science, č. 12754, ISSN 0302-9743
Sborník
Proceedings International Conference on Networked Systems
Řada
Lecture notes in Computer Science
Konference
International Conference on Networked Systems 2021, Virtual Conference, DE
Vydavatel
Springer Verlag
Místo
Cham, DE
DOI
10.1007/978-3-030-91014-3_14
UT WoS
000891773700014
EID Scopus
2-s2.0-85121865277
BibTeX 
@INPROCEEDINGS{FITPUB12668,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Martin Hru\v{s}ka",
   title = "Towards Efficient Shape Analysis with Tree Automata",
   pages = "206--214",
   booktitle = "Proceedings International Conference on Networked Systems",
   series = "Lecture notes in Computer Science",
   journal = "Lecture Notes in Computer Science",
   number = 12754,
   year = 2021,
   location = "Cham, DE",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-030-91014-3\_14",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12668"
}
Nahoru