Pages that link to "Item:Q794422"
From MaRDI portal
The following pages link to Some equivalent transformations of recursive programs based on their schematic properties (Q794422):
Displaying 8 items.
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Equivalent transformations of program schemes for ``Entangling'' programs (Q1403233) (← links)
- Recursive programs and the hierarchy of their models (Q1817112) (← links)
- (Q3635984) (← links)
- (Q3718135) (← links)
- A unified theory of grammars and program schemes: Applications to the correctness of their transformations by folding and unfolding (Q3776662) (← links)
- Transformations of programs (Q3984744) (← links)
- Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension (Q4950861) (← links)