Sciweavers

CHARME
2003
Springer
100views Hardware» more  CHARME 2003»
13 years 8 months ago
Inductive Assertions and Operational Semantics
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
J. Strother Moore