Synthesizing ranking functions for loop programs via SVM

Autor:	Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang
Rok vydání:	2022
Předmět:	General Computer Science Theoretical Computer Science
Zdroj:	Theoretical Computer Science. 935:1-20
ISSN:	0304-3975
DOI:	10.1016/j.tcs.2022.07.002
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::41af8ee07c228c8fefd1088b723c6aab https://doi.org/10.1016/j.tcs.2022.07.002 Zobrazit plný text záznamu Full Text from ScienceDirect