Termination of Loop Programs with Polynomial Guards
暂无分享,去创建一个
Zhenbing Zeng | Li-Yong Shen | Bin Wu | Zhongqin Bi | Zhongqin Bi | Zhenbing Zeng | L. Shen | Bin Wu
[1] Alan J. Hu,et al. Proving Termination by Divergence , 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
[2] G. M. Clemence,et al. Blow up of smooth solutions to the barotropic compressible magnetohydrodynamic equations with finite mass and energy , 2008, 0811.4359.
[3] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[4] Vincent Danos,et al. Transactions in RCCS , 2005, CONCUR.
[5] Andreas Podelski,et al. A Complete Method for the Synthesis of Linear Ranking Functions , 2004, VMCAI.
[6] Henny B. Sipma,et al. Termination Analysis of Integer Linear Loops , 2005, CONCUR.
[7] Patrick Cousot,et al. Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming , 2005, VMCAI.
[8] Wei Wei,et al. A Region Graph Based Approach to Termination Proofs , 2006, TACAS.
[9] W. Greub. Linear Algebra , 1981 .
[10] A. Rybalchenko,et al. Transition invariants , 2004, LICS 2004.
[11] Jim Woodcock,et al. Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings , 2007, ICTAC.
[12] Robert W. Floyd,et al. Assigning Meanings to Programs , 1993 .
[13] Ashish Tiwari,et al. Termination of Linear Programs , 2004, CAV.
[14] Bin Wu,et al. Termination of Nested Loop , 2008, 2008 International Symposium on Computer Science and Computational Technology.
[15] A. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .
[16] Henny B. Sipma,et al. Synthesis of Linear Ranking Functions , 2001, TACAS.
[17] Jim Hefferon,et al. Linear Algebra , 2012 .
[18] Henny B. Sipma,et al. Practical Methods for Proving Program Termination , 2002, CAV.
[19] Mark Braverman,et al. Termination of Integer Linear Programs , 2006, CAV.
[20] Bican Xia,et al. Termination of linear programs with nonlinear constraints , 2010, J. Symb. Comput..
[21] J. Schwartz. Mathematical Aspects of Computer Science , 1967 .
[22] C. A. R. HOARE,et al. An axiomatic basis for computer programming , 1969, CACM.
[23] Chaochen Zhou,et al. Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems , 2007, ICTAC.
[24] Henny B. Sipma,et al. Termination of Polynomial Programs , 2005, VMCAI.
[25] Bin Wu,et al. Non-termination Analysis of Linear Loop Programs with Conditionals , 2008, 2008 Advanced Software Engineering and Its Applications.
[26] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.