Výsledky vyhľadávania - "Programming language aggregation"

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

    A language-independent proof system for full program equivalence Autor Ciobâcă, Ştefan, Lucanu, Dorel, Rusu, Vlad, Roşu, Grigore

    ISSN: 0934-5043, 1433-299X
    Vydavateľské údaje: London Springer London 01.05.2016
    Vydané v Formal aspects of computing (01.05.2016)
    “…Two programs are fully equivalent if, for the same input, either they both diverge or they both terminate with the same result. Full equivalence is an adequate…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  2. 2
    Obálka

    Physicians payment in the United States between 2014 and 2018: An analysis of the CMS Open Payments database Autor Cuomo, Raphael E., Cai, Mingxiang, Shah, Neal, Mackey, Tim K.

    ISSN: 1932-6203, 1932-6203
    Vydavateľské údaje: United States Public Library of Science (PLoS) 02.06.2021
    Vydané v PLOS ONE (02.06.2021)
    “… & Provider Enumeration System (NPPES). Datasets from 2013–2018 were joined using the Python programming language…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: