Loading...
Please wait, while we are loading the content...
Similar Documents
Formalizing Non-Termination of Recursive Programs (2001)
| Content Provider | CiteSeerX |
|---|---|
| Author | Studer, Thomas Kahle, Reinhard |
| Abstract | In applicative theories the recursion theorem provides a term rec which solves recursive equations. However, it is not provable that a solution obtained by rec is minimal. In the present paper we introduce an applicative theory in which it is possible to define a least fixed point operator. Still, our theory has a standard recursion theoretic interpretation. |
| File Format | |
| Journal | J. OF LOGIC AND ALGEBRAIC PROGRAMMING |
| Publisher Date | 2001-01-01 |
| Access Restriction | Open |
| Subject Keyword | Recursive Program Recursion Theorem Standard Recursion Theoretic Interpretation Recursive Equation Fixed Point Operator Term Rec Present Paper Applicative Theory |
| Content Type | Text |
