Termination Analysis of Single Path Loop Programs Based on Iterative Trajectory Division
The ranking function has been extensively studied as an important method of program termination analysis.In this paper,we focus on the termination of single-path loops.Firstly,the concept of two-way iterative loops is proposed,and the single-path loops are divided into bidirectional iterative loops...
| Published in: | Jisuanji kexue |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Chinese |
| Published: |
Editorial office of Computer Science
2023-09-01
|
| Subjects: | |
| Online Access: | https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2023-50-9-108.pdf |