Detail publikace

Solving Not-Substring Constraint with Flat Abstraction

HOLÍK, L.; ABDULLA, P.; ATIG, M.; BUI PHI, D.; CHEN, Y.; WU, Z. Solving Not-Substring Constraint with Flat Abstraction. In Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings. 13008. Berlín: Springer International Publishing, 2021. p. 305-320. ISBN: 978-3-030-89051-3.
Název česky
Řešení ne-podřetězcového omezení pomocí ploché abstrakce
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Abdulla Parosh
Atig Mohamed (FIT)
Bui Phi Diep (FIT)
Chen Yu-Fang
Wu Zhilin (FIT)
a další
URL
Klíčová slova

CEGAR, omezení řetězců, řetězce

Abstrakt

Ne-podřetězec patří současně mezi nejméně podporované omezení řetězců a existující solvery využívají jen relativně hrubé heuristiky. Avšak ne-podřetězce se vyskytují relativně často v praktických příkladech a jsou užitečné při kódování jiný typů omezení. V tomto článku jsme navrhli systematický způsob řešení ne-podřetězců s použitím zjemňující abstrakce pomocí protipříkladů založené na ploché abstrakci. V takovémto rámci je doména retězcových proměnných omezena na ploché jazyky a následně všechny omezení můžou být vyjádřeny jako formule lineární aritmetiky. Prokázali jsme, že omezení ne-podřetězců můžou být efektivně zploštěné a poskytli jsme experimentální důkazy, že navržené řešení pro ne-podřetězce je konkurenceschopné.

Rok
2021
Strany
305–320
Sborník
Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings
Řada
13008
ISBN
978-3-030-89051-3
Vydavatel
Springer International Publishing
Místo
Berlín
DOI
10.1007/978-3-030-89051-3_17
UT WoS
000783821500017
EID Scopus
2-s2.0-85118186762
BibTeX 
@inproceedings{BUT182956,
  author="Lukáš {Holík} and Parosh {Abdulla} and Mohamed {Atig} and Diep {Bui Phi} and Yu-Fang {Chen} and Zhilin {Wu}",
  title="Solving Not-Substring Constraint with Flat Abstraction",
  booktitle="Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings",
  year="2021",
  series="13008",
  pages="305--320",
  publisher="Springer International Publishing",
  address="Berlín",
  doi="10.1007/978-3-030-89051-3\{_}17",
  isbn="978-3-030-89051-3",
  url="https://doi.org/10.1007/978-3-030-89051-3\_17"
}
Nahoru