Zobrazeno 1 - 10
of 18 219
pro vyhledávání: '"Program transformation"'
Autor:
Turner, Jack1 (AUTHOR) jack.turner@ed.ac.uk, Crowley, Elliot J.1 (AUTHOR) elliot.j.crowley@ed.ac.uk, O'Boyle, Michael F.P.1 (AUTHOR) mob@inf.ed.ac.uk
Publikováno v:
Communications of the ACM. Oct2024, Vol. 67 Issue 10, p92-100. 9p.
Autor:
Vanderbauwhede, Wim1 (AUTHOR) wim.vanderbauwhede@glasgow.ac.uk
Publikováno v:
Journal of Supercomputing. Feb2022, Vol. 78 Issue 2, p2988-3028. 41p.
Publikováno v:
EPTCS 373, 2022
These proceedings include selected papers presented at the 9th Workshop on Horn Clauses for Verification and Synthesis and the Tenth International Workshop on Verification and Program Transformation, both affiliated with ETAPS 2022. Many Program Veri
Externí odkaz:
http://arxiv.org/abs/2211.10675
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ji, Ruyi1 (AUTHOR) jiruyi910387714@pku.edu.cn, Zhao, Yuwei1 (AUTHOR) zhaoyuwei@stu.pku.edu.cn, Xiong, Yingfei1 (AUTHOR) xiongyf@pku.edu.cn, Wang, Di1 (AUTHOR) wangdi95@pku.edu.cn, Zhang, Lu2 (AUTHOR) zhanglucs@pku.edu.cn, Hu, Zhenjiang1 (AUTHOR) huzj@pku.edu.cn
Publikováno v:
ACM Transactions on Programming Languages & Systems. Jun2024, Vol. 46 Issue 2, p1-59. 59p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Lisitsa, Alexei, Nemytykh, Andrei P.
Publikováno v:
EPTCS 341, 2021
The previous VPT 2020 workshop was organized in honour of Professor Alberto Pettorossi on the occasion of his academic retirement from Universit\`a di Roma Tor Vergata. Due to the pandemic the VPT 2020 meeting was cancelled but its proceeding have al
Externí odkaz:
http://arxiv.org/abs/2109.02001
Publikováno v:
Applied Sciences, Vol 13, Iss 21, p 11763 (2023)
Static analysis is popular for detecting SQL injection vulnerabilities. However, due to the lack of accurate modeling of object-oriented database extensions, current methods fail to accurately detect SQL injection vulnerabilities in applications that
Externí odkaz:
https://doaj.org/article/3cf0ec4282c0491483a6005d0f7a1acb