6 search results - page 2 / 2 » On the Relation Between Primitive Recursion, Schematization ... |
133
click to vote
ENTCS
2000
15 years 3 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...