Pages that link to "Item:Q5179363"

The following pages link to Transforming Programs into Recursive Functions (Q5179363):

Displaying 4 items.

• Function extraction (Q436372) (← links)
• Loop verification with invariants and contracts (Q2152642) (← links)
• Equivalence checking of two functional programs using inductive theorem provers (Q2410575) (← links)
• Invariant relations for affine loops (Q6592111) (← links)