Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Forward reasoning"”.
-
Forward with separation logic
… for program verification, known as backward and forward reasoning. Separation logic, an extension of Hoare logic, finds countless applications in the areas of program verification, but the requirement of frame calculation when using it as an assertion language for specifications limits …
-
Contextual Effects in Tax Research: An Experimental Investigation of Adaptivity and Expert Performance in an Information Search Task
… in each context, resulting in the use of forward reasoning in the compliance context and backward reasoning in the planning context. Finally, I predict that the ability to adapt information search to the context is a component of expert performance in the tax-research task. I tested my …