Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs.

Published in: Turing-100 (2012)

Keyphrases

error detection
error correction
data cleansing
error recovery
fault tolerance
error correcting
dynamic logic
symbolic execution
error resilient
error control
classical logic
recursive programs
artificial intelligence
functional programs
modal logic
fault tolerant
agent programming
fixpoint
expert systems