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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Information and computation Jg. 289; S. 104953
Hauptverfasser:	Baldan, Paolo, Ranzato, Francesco, Zhang, Linpeng
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.11.2022
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!