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 partial recursive functions that programs compute. Later work investigated intensional generalisations of such results that take into account the way in which function...

Full description

Bibliographic Details

Published in:	Information and computation Vol. 289; p. 104953
Main Authors:	Baldan, Paolo, Ranzato, Francesco, Zhang, Linpeng
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.11.2022
Subjects:	Affine program invariants Computability theory Kleene's second recursion theorem Program analysis Recursive function Rice's theorem Kleene's second recursion theorem Recursive function Program analysis Computability theory Affine program invariants Rice's theorem
ISSN:	0890-5401, 1090-2651
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!