Formalization of the Computational Theory of a Turing Complete Functional Language Model

This work presents a formalization in PVS of the computational theory for a computational model given as a class of partial recursive functions called PVS0. The model is built over basic operators, which, when restricted to constants, successor, projections, greater-than, and bijections from tuples...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Journal of automated reasoning Ročník 66; číslo 4; s. 1031 - 1063
Hlavní autoři:	Ramos, Thiago Mendonça Ferreira, Almeida, Ariane Alves, Ayala-Rincón, Mauricio
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer Netherlands 01.11.2022 Springer Nature B.V
Témata:	Artificial Intelligence Automation Computer Science Fixed points (mathematics) Grammar Language Mathematical Logic and Formal Languages Mathematical Logic and Foundations Recursive functions Semantics Symbolic and Algebraic Manipulation Theorems Automating termination Computability theory Halting Problem Theorem proving Functional programming models PVS Rice’s Theorem
ISSN:	0168-7433, 1573-0670
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!

Buďte první, kdo okomentuje tento záznam!