Automatic Termination Analysis of Programs Containing Arithmetic Predicates

Author： Dershowitz N.   Lindenstrauss N.   Sagiv Y.   Serebrenik A.  

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.30, Iss.1, 2004-01, pp. : 1-20

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

As Time Goes By II - More Automatic Complexity Analysis of Concurrent Rule Programs

By Fruhwirth T.  

Electronic Notes in Theoretical Computer Science, Vol. 59, Iss. 3, 2004-01 ,pp. : 1-22

Elsevier

Access to resources Recommend Favorite

Run-Time Support for the Automatic Parallelization of Java Programs

By Chan Bryan   Abdelrahman Tarek S.  

The Journal of Supercomputing, Vol. 28, Iss. 1, 2004-04 ,pp. : 91-117

Springer Publishing Company

Access to resources Recommend Favorite

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

By Armando A.  

Automated Software Engineering, Vol. 6, Iss. 4, 1999-10 ,pp. : 329-356

Springer Publishing Company

Access to resources Recommend Favorite

Verifying Termination and Reduction Properties about Higher-Order Logic Programs

By Pientka Brigitte  

Journal of Automated Reasoning, Vol. 34, Iss. 2, 2005-12 ,pp. : 179-207

Springer Publishing Company

Access to resources Recommend Favorite

Automatic Generation of Staged Geometric Predicates: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation

By Nanevski Aleksandar  

LISP and Symbolic Computation, Vol. 16, Iss. 4, 2003-12 ,pp. : 379-400

Springer Publishing Company

Access to resources Recommend Favorite