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á bibliografie

Vydáno v:	Information and computation Ročník 289; s. 104953
Hlavní autoři:	Baldan, Paolo, Ranzato, Francesco, Zhang, Linpeng
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.11.2022
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!