Pages that link to "Item:Q1915137"
From MaRDI portal
The following pages link to A calculus for and termination of rippling (Q1915137):
Displaying 5 items.
- The use of embeddings to provide a clean separation of term and annotation for higher order rippling (Q540694) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- An approach to automatic deductive synthesis of functional programs (Q2457802) (← links)
- Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery (Q3058453) (← links)
- Extensions to a generalization critic for inductive proof (Q4647499) (← links)
