The following pages link to (Q4812966):
Displaying 8 items.
- Program equivalence by circular reasoning (Q493521) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)
- (Q3217582) (← links)
- (Q3407415) (← links)
- Inference Rules for Proving the Equivalence of Recursive Procedures (Q3587255) (← links)
- (Q4029607) (← links)
- On Termination of Binary CLP Programs (Q5458805) (← links)