Výsledky vyhledávání - "Programming language aggregation"

  • Zobrazuji výsledky 1 - 5 z 5
Upřesnit hledání
  1. 1

    Programming Language Aggregation with Applications in Equivalence Checking

    Autoři: Ciobâcǎ, Ştefan Lucanu, Dorel Rusu, Vlad a další

    Přispěvatelé: Ciobâcǎ, Ştefan Lucanu, Dorel Rusu, Vlad a další

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems

    Popis souboru: application/pdf

    Přístupová URL adresa: https://inria.hal.science/hal-00998930v1

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Physicians payment in the United States between 2014 and 2018: An analysis of the CMS Open Payments database.

    Autoři: Cuomo, Raphael E. Cai, Mingxiang Shah, Neal a další

    Zdroj: PLoS ONE; 6/2/2021, Vol. 16 Issue 6, p1-13, 13p

    Témata: OSTEOPATHIC physicians, PAYMENT, PYTHON programming language, PHYSICIANS, PUBLIC opinion, STANDARD deviations

    Geografický termín: UNITED States

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    Physicians payment in the United States between 2014 and 2018: An analysis of the CMS Open Payments database.

    Autoři: Cuomo, Raphael E Cai, Mingxiang Shah, Neal a další

    Zdroj: PloS one; vol 16, iss 6, e0252656; 1932-6203

    Témata: General Science & Technology, article

    URL: https://escholarship.org/uc/item/75k380m8
    https://escholarship.org/

    View this record from OAIster Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

    A language-independent proof system for full program equivalence.

    Autoři: Ciobâcă, Ştefan Lucanu, Dorel Rusu, Vlad a další

    Zdroj: Formal Aspects of Computing. May2016, Vol. 28 Issue 3, p469-497. 29p.

    Témata: *LOGIC, *MATHEMATICS, *PROGRAMMING language semantics, *SEMANTICS, *DENOTATIONAL semantics

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  5. 5

    Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

    Autoři: Narciso Martí-Oliet Peter Csaba Ölveczky Carolyn Talcott

    Resource Type: eBook.

    Témata: Machine theory, Computer science, Compilers (Computer programs), Computer programming, Software engineering

    Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

    Přidat do oblíbených

Vyhledávací nástroje: