Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics.

Ximeng Li Qianying Zhang Guohui Wang Zhiping Shi Yong Guan

Published in: CoRR (2021)

Keyphrases

formal semantics
post processing
learning algorithm
iterative process
modal operators
preprocessing
spatial reasoning
multi step
data sets
databases
information retrieval
artificial intelligence
operational semantics
probabilistic knowledge
complete axiomatization