SVM-based method for detecting ranking functions in polynomial loop programs

DOI10.13328/J.CNKI.JOS.005748MaRDI QIDQ5209962zbMATH OpenFDO

Authors Yi Li, Tianxun Cai, Jianfeng Fan, Wenyuan Wu, Yong Feng

Publication date 22 January 2020

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.005748

zbMATH Keywords

machine learningprogram terminationranking functionssupport vector machine

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Detection of ranking functions of polynomial loop programs
• Automata, Languages and Programming
• A new look at the automatic synthesis of linear ranking functions
• Computer Aided Verification
• Verification, Model Checking, and Abstract Interpretation

Cited in

(3)

• Synthesizing ranking functions for loop programs via SVM
• Detection of ranking functions of polynomial loop programs
• A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs

This page was built for publication: SVM-based method for detecting ranking functions in polynomial loop programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5209962)