Výsledky vyhľadávania - abstract AND automation computability AND recursion theory~

  • Zobrazené výsledky 1 - 3 z 3
Upresniť hľadanie
  1. 1
    Obálka

    Grammar semantics, analysis and parsing by abstract interpretation Autor Cousot, Patrick, Cousot, Radhia

    ISSN: 0304-3975, 1879-2294
    Vydavateľské údaje: Oxford Elsevier B.V 14.10.2011
    Vydané v Theoretical computer science (14.10.2011)
    “…We study abstract interpretations of a fixpoint protoderivation semantics defining the maximal derivations of a transitional semantics of context-free grammars akin to pushdown automata…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  2. 2
    Obálka

    Formalization of the Computational Theory of a Turing Complete Functional Language Model Autor Ramos, Thiago Mendonça Ferreira, Almeida, Ariane Alves, Ayala-Rincón, Mauricio

    ISSN: 0168-7433, 1573-0670
    Vydavateľské údaje: Dordrecht Springer Netherlands 01.11.2022
    Vydané v Journal of automated reasoning (01.11.2022)
    “…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…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  3. 3
    Obálka

    On Safety of Unary and Nonunary IFP Operators Autor Dudakov, S. M.

    ISSN: 0146-4116, 1558-108X
    Vydavateľské údaje: Moscow Pleiades Publishing 01.12.2019
    “… Therefore, the problem under investigation is directly related to database theory. The problem arises from the fact that if recursion and universe relations, e.g…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: