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

Celý popis

Podrobná bibliografia

Vydané v:	Information and computation Ročník 289; s. 104953
Hlavní autori:	Baldan, Paolo, Ranzato, Francesco, Zhang, Linpeng
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.11.2022
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!