Intensional Kleene and Rice theorems for abstract program semantics
From MaRDI portal
Publication:2105439
DOI10.1016/j.ic.2022.104953WikidataQ113872834 ScholiaQ113872834MaRDI QIDQ2105439
Francesco Ranzato, Paolo Baldan, Linpeng Zhang
Publication date: 8 December 2022
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2105.14579
computability theory; program analysis; recursive function; Rice's theorem; affine program invariants; Kleene's second recursion theorem
68Qxx: Theory of computing