Detail publikace

Low-Level Bi-Abduction

HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš a ZULEGER Florian. Low-Level Bi-Abduction. In: 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics, roč. 2022. Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2022, s. 1-30. ISBN 978-3-95977-225-9. ISSN 1868-8969. Dostupné z: https://drops.dagstuhl.de/opus/volltexte/2022/16247/
Název česky
Nízkoúrovňová Bi-abdukce
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Zuleger Florian, Dr. (FORSYTE)
URL
Abstrakt

Článek přináší novou techniku statické analýzy určené pro otevřené programy (fragmenty programů) s dynamickými pointerovými datovými strukturami, konkrétně různými typy linkových listů. Technika je založena na Separační logice a bi-abdukčním přístupu.

Rok
2022
Strany
1-30
Časopis
Leibniz International Proceedings in Informatics (LIPIcs), roč. 2022, č. 222, ISSN 1868-8969
Sborník
36th European Conference on Object-Oriented Programming (ECOOP 2022)
Řada
Leibniz International Proceedings in Informatics
Konference
European Conference on Object-Oriented Programming -- ECOOP'22, Berlin, DE
ISBN
978-3-95977-225-9
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Wadern, DE
DOI
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB12739,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Petr Peringer and Adam Rogalewicz and Veronika \v{S}okov\'{a} and Tom\'{a}\v{s} Vojnar and Florian Zuleger",
   title = "Low-Level Bi-Abduction",
   pages = "1--30",
   booktitle = "36th European Conference on Object-Oriented Programming (ECOOP 2022)",
   series = "Leibniz International Proceedings in Informatics",
   journal = "Leibniz International Proceedings in Informatics (LIPIcs)",
   volume = 2022,
   number = 222,
   year = 2022,
   location = "Wadern, DE",
   publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
   ISBN = "978-3-95977-225-9",
   ISSN = "1868-8969",
   doi = "10.4230/LIPIcs.ECOOP.2022.19",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12739"
}
Nahoru