Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness.

Published in: IWFM (2001)

Keyphrases

special case
general theory
theoretical framework
provably correct
real world
context aware
closely related
information theory
theoretical basis
data mining
machine learning
mobile devices
object oriented
contextual information
speech acts