Fifty years of Hoare's logic.

Krzysztof R. Apt Ernst-Rüdiger Olderog

Published in: Formal Aspects Comput. (2019)

Keyphrases

fifty years
machine learning
classical logic
predicate logic
data mining
social networks
logic programming
modal logic
database
automated reasoning
sound and complete axiomatization
epistemic logic
digital circuits
computational properties
multi valued
knowledge representation
real time