Affine program invariants

Intensional Kleene and Rice theorems for abstract program semantics

Classical results in computability theory, notably Rice’s theorem, focus on the extensional content of programs, namely, on the …

Paolo Baldan, Francesco Ranzato, Linpeng Zhang