Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic.

Frank S. de Boer Hans-Dieter A. Hiep

Published in: ACM Trans. Program. Lang. Syst. (2021)

Keyphrases

formal theory
computational complexity
modal logic
multi valued
data mining
real world
information retrieval
image sequences
worst case
theorem prover
spatial reasoning
qualitative reasoning
defeasible logic