Synthesizing ranking functions for loop programs via SVM
type: Item
instance of: scholarly article
title: Synthesizing ranking functions for loop programs via SVM
author: Yi Li
author: Xie Li
author: Yong Li
author: Xuechao Sun
author: Andrea Turrini
author: Lijun Zhang
published in: Theoretical Computer Science
publication date: 2022-10-14T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7601536
zbMATH Keywords: program analysis
zbMATH Keywords: termination
zbMATH Keywords: nested ranking function
zbMATH Keywords: multi-phase ranking function
zbMATH Keywords: support vector machine
describes a project that uses: CPAchecker
describes a project that uses: iRankFinder
describes a project that uses: z3
MaRDI profile type: Publication
full work available at URL: j.tcs.2022.07.002
OpenAlex ID: W4285097223
cites work: On Computable Numbers, with an Application to the Entscheidungsproblem
cites work: On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
cites work: Some efficient solutions to the affine scheduling problem. I: One- dimensional time
cites work: Q2769578
cites work: Q4804915
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Ranking Functions for Linear-Constraint Loops
cites work: Ranking Templates for Linear Loops
cites work: Automata, Languages and Programming
cites work: Computer Aided Verification
cites work: On multiphase-linear ranking functions
cites work: Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
cites work: Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
cites work: Termination of polynomial loops
cites work: Support-vector networks
cites work: Linear Ranking for Linear Lasso Programs
cites work: Geometric nontermination arguments
DOI: 10.1016/J.TCS.2022.07.002
Recommended article: Q5209962
Recommended article: Ranking Functions for Linear-Constraint Loops
Recommended article: Q3306912
Recommended article: Q5089280
Recommended article: A new look at the automatic synthesis of linear ranking functions
Recommended article: On the linear ranking problem for simple floating-point loops
Recommended article: Ranking function synthesis for bit-vector relations
Recommended article: Ranking Function Synthesis for Bit-Vector Relations
Recommended article: Q2769578
description: scientific article; zbMATH DE number 7601536