Pages that link to "Item:Q3587255"
From MaRDI portal
The following pages link to Inference Rules for Proving the Equivalence of Recursive Procedures (Q3587255):
Displaying 5 items.
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Certified abstract cost analysis (Q2044174) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)
- Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)
