Výsledky vyhledávání - "Imperative programming"

Upřesnit hledání
  1. Obálka

    Coverage-Based Fault Localization in Haskell

    Citation/Abstract
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  2. Obálka

    Datavzrd: Rapid programming- and maintenance-free interactive visualization and communication of tabular data Autor Wiegand, Felix

    Vydáno v PLoS One (Jul 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  3. Obálka

    Perspectives of semantic modeling in categories Autor Steingartner, William

    Citation/Abstract
    Full Text
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  4. Obálka

    LLASP: Fine-tuning Large Language Models for Answer Set Programming Autor Coppolillo, Erica

    Vydáno v arXiv.org (Jul 26, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  5. Obálka

    Leroy: Library Learning for Imperative Programming Languages Autor Bellur, Abhiram

    Vydáno v arXiv.org (Oct 9, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  6. Obálka

    A Brief Overview of the Pawns Programming Language Autor Naish, Lee

    Vydáno v arXiv.org (Sep 5, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  7. Obálka

    Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case Study Autor Tim van Dam

    Vydáno v arXiv.org (Mar 22, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  8. Obálka

    Source-level reasoning for quantitative information flow Autor Chen, Chris

    Vydáno v arXiv.org (May 22, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  9. Obálka

    An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications Autor Alhanahnah, Mohannad

    Vydáno v arXiv.org (Apr 17, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  10. Obálka

    A Diagrammatic Algebra for Program Logics Autor Bonchi, Filippo

    Vydáno v arXiv.org (Oct 4, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  11. Obálka

    \(\mu\lambda\epsilon\delta\)-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities Autor Salgado, Ronie

    Vydáno v arXiv.org (Sep 9, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  12. Obálka

    Semantics, Specification Logic, and Hoare Logic of Exact Real Computation Autor Park, Sewon

    Vydáno v arXiv.org (Jun 21, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  13. Obálka

    The Significance of Symbolic Logic for Scientific Education Autor Platzer, André

    Vydáno v arXiv.org (Jul 13, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  14. Obálka

    Window Expressions for Stream Data Processing Autor Praveen, M

    Vydáno v arXiv.org (Mar 1, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  15. Obálka

    Sound and Complete Proof Rules for Probabilistic Termination Autor Majumdar, Rupak

    Vydáno v arXiv.org (Jul 23, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  16. Obálka

    Abstract Operational Methods for Call-by-Push-Value Autor Goncharov, Sergey

    Vydáno v arXiv.org (Oct 26, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  17. Obálka

    Specification Slicing for VDM-SL Autor Oda, Tomohiro

    Vydáno v arXiv.org (Oct 4, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  18. Obálka

    ALCH: An imperative language for chemical reaction network-controlled tile assembly Autor Klinge, Titus H.

    Vydáno v Natural Computing (Jun 2024)
    Citation/Abstract
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  19. Obálka

    Awkward Just-In-Time (JIT) Compilation: A Developer’s Experience Autor Osborne, Ianna

    Vydáno v EPJ Web of Conferences (2024)
    Citation/Abstract
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  20. Obálka

    LTL-Specification for Development and Verification of Control Programs Autor Neyzov, M. V.

    Citation/Abstract
    Full Text
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: