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...
| 出版年: | Jisuanji kexue |
|---|---|
| 第一著者: | WANG Yao, LI Yi |
| フォーマット: | 論文 |
| 言語: | 中国語 |
| 出版事項: |
Editorial office of Computer Science
2023-09-01
|
| 主題: | |
| オンライン･アクセス: | https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2023-50-9-108.pdf |
類似資料
Automation of Formal Verification of Programs in the Pifagor Language
著者:: M. S. Ushakova, 等
出版事項: (2015-08-01)
著者:: M. S. Ushakova, 等
出版事項: (2015-08-01)
Formal Verification of Programs in Functional Dataflow Parallel Language
著者:: M. S. Kropacheva, 等
出版事項: (2015-03-01)
著者:: M. S. Kropacheva, 等
出版事項: (2015-03-01)
VP_TT: A value propagation based equivalence checker for testability transformations
著者:: Ramanuj Chouksey, 等
出版事項: (2021-02-01)
著者:: Ramanuj Chouksey, 等
出版事項: (2021-02-01)
On Construction and Verification of PLC-Programs
著者:: E. V. Kuzmin, 等
出版事項: (2015-02-01)
著者:: E. V. Kuzmin, 等
出版事項: (2015-02-01)
Optimal Location Model of Bus Terminals and Evaluation of Factors Affecting It
著者:: Morteza Shafiee, 等
出版事項: (2020-11-01)
著者:: Morteza Shafiee, 等
出版事項: (2020-11-01)
Solving fully fuzzy linear programming problems by controlling the variation range of variables
著者:: S.M. Davoodi, 等
出版事項: (2021-09-01)
著者:: S.M. Davoodi, 等
出版事項: (2021-09-01)
A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs
著者:: Andrew M. Mironov
出版事項: (2021-12-01)
著者:: Andrew M. Mironov
出版事項: (2021-12-01)
Application of dynamic programming approach to computation of atomic functions
著者:: Victor Makarichev, 等
出版事項: (2021-11-01)
著者:: Victor Makarichev, 等
出版事項: (2021-11-01)
Feasibility exploration analysis of AR virtual verification method of civil aircraft maintenance program
著者:: SUN Hongli, 等
出版事項: (2025-04-01)
著者:: SUN Hongli, 等
出版事項: (2025-04-01)
Fuzzy goal programming approach for solving linear fractional programming problems with fuzzy conditions
著者:: Rajeev Prasad, 等
出版事項: (2024-07-01)
著者:: Rajeev Prasad, 等
出版事項: (2024-07-01)
A Modified Novel Method for Solving the Uncertainty Linear Programming Problems Based on Triangular Neutrosophic Number
著者:: Kshitish Mohanta, 等
出版事項: (2022-05-01)
著者:: Kshitish Mohanta, 等
出版事項: (2022-05-01)
Programming and program verification for robots that perform machining tasks
著者:: Živanović Saša T., 等
出版事項: (2023-01-01)
著者:: Živanović Saša T., 等
出版事項: (2023-01-01)
Mathematical Programming Formulations for the Berth Allocation Problems in Container Seaport Terminals
著者:: Awad M. Aljuaid, 等
出版事項: (2024-05-01)
著者:: Awad M. Aljuaid, 等
出版事項: (2024-05-01)
An Intelligent Dual Simplex Method to Solve Triangular Neutrosophic Linear Fractional Programming Problem
著者:: Sapan Kumar Das, 等
出版事項: (2020-09-01)
著者:: Sapan Kumar Das, 等
出版事項: (2020-09-01)
Modeling of parallel program synchronization primitives
著者:: Oleg S. Kryukov, 等
出版事項: (2025-06-01)
著者:: Oleg S. Kryukov, 等
出版事項: (2025-06-01)
Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System
著者:: Dmitry A. Kondratyev
出版事項: (2021-12-01)
著者:: Dmitry A. Kondratyev
出版事項: (2021-12-01)
On Verification of PLC-Programs Written in the LD-Language
著者:: E. V. Kuzmin, 等
出版事項: (2015-02-01)
著者:: E. V. Kuzmin, 等
出版事項: (2015-02-01)
PROGRAMMING METHODS AND PROGRAM VERIFICATION FOR 3-AXIS RECONFIGURABLE HYBRID KINEMATICS MACHINE
著者:: Sasa Zivanovic, 等
出版事項: (2024-06-01)
著者:: Sasa Zivanovic, 等
出版事項: (2024-06-01)
A Novel Approach to Efficiently Verify Sequential Consistency in Concurrent Programs
著者:: Mohammed H. Abdulwahhab, 等
出版事項: (2025-03-01)
著者:: Mohammed H. Abdulwahhab, 等
出版事項: (2025-03-01)
A Weighted Goal Programming model for Storage Space Allocation problem in a container terminal
著者:: Maryam Dhahri, 等
出版事項: (2020-12-01)
著者:: Maryam Dhahri, 等
出版事項: (2020-12-01)
Type and Verification of Network Attacks on Embedded Terminals of Intelligent Substation
著者:: Jindong HE, 等
出版事項: (2020-01-01)
著者:: Jindong HE, 等
出版事項: (2020-01-01)
Software Design of Transformer Terminal Unit
著者:: 贾志诚
出版事項: (2010-01-01)
著者:: 贾志诚
出版事項: (2010-01-01)
A Dynamic Verification Model based on Information Flow Constraint
著者:: Dan Wang, 等
出版事項: (2013-08-01)
著者:: Dan Wang, 等
出版事項: (2013-08-01)
Generic programming with combinators and objects
著者:: Dmitry S. Kosarev, 等
出版事項: (2021-10-01)
著者:: Dmitry S. Kosarev, 等
出版事項: (2021-10-01)
iiOSProTrain: An Interactive Intelligent Online System for Programming Training
著者:: Tho Thanh Quan, 等
出版事項: (2012-02-01)
著者:: Tho Thanh Quan, 等
出版事項: (2012-02-01)
An Application Model for Linear Programming with an Evolutionary Ranking Function
著者:: Rasha Jalal Mitlif
出版事項: (2022-07-01)
著者:: Rasha Jalal Mitlif
出版事項: (2022-07-01)
On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories
著者:: Jorge Vega Vice, 等
出版事項: (2018-10-01)
著者:: Jorge Vega Vice, 等
出版事項: (2018-10-01)
VERIFICATION OF PARALLEL AUTOMATA-BASED PROGRAMS
著者:: M. A. Lukin
出版事項: (2014-01-01)
著者:: M. A. Lukin
出版事項: (2014-01-01)
An Abstraction Technique for Verifying Shared-Memory Concurrency
著者:: Wytse Oortwijn, 等
出版事項: (2020-06-01)
著者:: Wytse Oortwijn, 等
出版事項: (2020-06-01)
Construction and Verification of PLC-programs by LTL-specification
著者:: E. V. Kuzmin, 等
出版事項: (2013-08-01)
著者:: E. V. Kuzmin, 等
出版事項: (2013-08-01)
A Comparison of Functional and Imperative Programming Techniques for Mathematical Software Development
著者:: Scott Frame, 等
出版事項: (2014-04-01)
著者:: Scott Frame, 等
出版事項: (2014-04-01)
Solving the fully fuzzy multi-choice linear programming model
著者:: Zahra Arami, 等
出版事項: (2024-08-01)
著者:: Zahra Arami, 等
出版事項: (2024-08-01)
Assessment of Needs for Developing Curriculum Study Program for Masters of Education in Madrasah Ibtidaiyah Teachers Towards Excellent Accreditation
著者:: Samsul Susilawati, 等
出版事項: (2023-10-01)
著者:: Samsul Susilawati, 等
出版事項: (2023-10-01)
Technical efficiency analysis of container terminals in India
著者:: K. Chandrasekhar Iyer, 等
出版事項: (2021-03-01)
著者:: K. Chandrasekhar Iyer, 等
出版事項: (2021-03-01)
On the Expressiveness of the Approach to Constructing PLC-programs by LTL-Specification
著者:: E. V. Kuzmin, 等
出版事項: (2015-08-01)
著者:: E. V. Kuzmin, 等
出版事項: (2015-08-01)
Exploring program-cell death patterns to predict prognosis and sensitivity of cervical cancer immunotherapy via multi-omics analysis and clinical samples
著者:: Chunhong Pang, 等
出版事項: (2025-05-01)
著者:: Chunhong Pang, 等
出版事項: (2025-05-01)
A Multicriteria Goal Programming Model for Ranking Universities
著者:: Fernando García, 等
出版事項: (2021-02-01)
著者:: Fernando García, 等
出版事項: (2021-02-01)
Fuzzy Programming Approach to Solve Multi-Objective Fully Fuzzy Transportation Problem
著者:: Admasu Tadesse, 等
出版事項: (2023-12-01)
著者:: Admasu Tadesse, 等
出版事項: (2023-12-01)
Fuzzy Programming Approach to Solve Multi-Objective Fully Fuzzy Transportation Problem
著者:: Admasu Tadesse, 等
出版事項: (2023-12-01)
著者:: Admasu Tadesse, 等
出版事項: (2023-12-01)
Fuzzy Programming Approach to Solve Multi-Objective Fully Fuzzy Transportation Problem
著者:: Admasu Tadesse, 等
出版事項: (2023-10-01)
著者:: Admasu Tadesse, 等
出版事項: (2023-10-01)
類似資料
-
Automation of Formal Verification of Programs in the Pifagor Language
著者:: M. S. Ushakova, 等
出版事項: (2015-08-01) -
Formal Verification of Programs in Functional Dataflow Parallel Language
著者:: M. S. Kropacheva, 等
出版事項: (2015-03-01) -
VP_TT: A value propagation based equivalence checker for testability transformations
著者:: Ramanuj Chouksey, 等
出版事項: (2021-02-01) -
On Construction and Verification of PLC-Programs
著者:: E. V. Kuzmin, 等
出版事項: (2015-02-01) -
Optimal Location Model of Bus Terminals and Evaluation of Factors Affecting It
著者:: Morteza Shafiee, 等
出版事項: (2020-11-01)