Searching for "Assertions and Recursions." – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
A tool for checking ANSI-C programs
- … bound. It is then asserted that the recursion never goes deeper. The return statement is replaced…
- Cited by 75 (8 self) – Add To MetaCart
-
Three Paths to Effectiveness —Extended Abstract—
- … taking different routes, they all lead to the same concept. 1 Introduction Church’s Thesis asserts…
- Add To MetaCart
-
Non-Crossing Partitions For Classical Reflection Groups
- …. The asserted recursion for f B n (p; q; r) follows immediately from the decomposition NC B (n) = a i2…
- Cited by 43 (4 self) – Add To MetaCart
-
A Heuristic Approach to Program Inversion
- … for inverting programs symbolically, but requires that the programmer provide inductive assertions…
- Cited by 4 (0 self) – Add To MetaCart
-
Coordination and Adaptation for Hierarchical Components and Services
- … consider four levels of service compatibility (signature, assertion, recursive interface, behaviours…
- Cited by 1 (1 self) – Add To MetaCart
-
The Complexity of Stochastic Sequences
- … sequences extend to corresponding random sequences. First, there are recursively random random sequences…
- Cited by 5 (3 self) – Add To MetaCart
-
A Symbolic Simulation Approach to Assertional Program Verification
- … of the executing thread, one might be inclined to think that specification of assertions for recursive programs…
- Cited by 2 (1 self) – Add To MetaCart
-
Finite Model Reasoning in Description Logics
- …edge.BinTree u wf (edge) (2) Notice that this assertion is recursive and makes use of the well…
- Cited by 28 (13 self) – Add To MetaCart
-
Expressing Object Residency Optimizations Using Pointer Type Annotations
- … methods), some recursive calls, and non-object-oriented code. Procedure result assertions: If a procedure…
- Cited by 1 (0 self) – Add To MetaCart
-
A Rational Reconstruction and Extension of Recursion Analysis
- … by the meta-assertion recursive(even(U ); U; s(s(U ))) 9 . Recursion terms contain the crucial information…
- Cited by 24 (13 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
