Searching for "A Calculus for Rippling." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
A Calculus for and Termination of Rippling
- …A Calculus for and Termination of Rippling David A. Basin Max-Planck-Institut fur Informatik…
- Cited by 37 (2 self) – Add To MetaCart
-
Connection-Driven Inductive Theorem Proving
- … developed a calculus for rippling and dened a well-founded wave measure under which rippling terminates…
- Cited by 2 (1 self) – Add To MetaCart
-
Automating inductive Specification Proofs in NuPRL
- … the induction conclusion (goal). In Basin & Walsh [2], a calculus for rippling is presented and well…
- Add To MetaCart
-
IOS Press Automating inductive Specification Proofs ∗
- …). In Basin & Walsh [2], a calculus for rippling is presented and well-founded measure, called wave measure…
- Add To MetaCart
-
Automating the instantiation of existentially quantified variables
- …). In Basin & Walsh [2], a calculus for rippling is presented and well-founded measure, called wave measure…
- Cited by 8 (5 self) – Add To MetaCart
-
Matrix-based Inductive Theorem Proving
- … the conclusion. Basin & Walsh [2] have developed a calculus for rippling and defined a wellfounded wave measure…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 6.
