Sign in

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

Frank S. de BoerHans-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