Risultati della ricerca - "Imperative programming"

Raffina i risultati
  1. Copertina

    Coverage-Based Fault Localization in Haskell

    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  2. Copertina

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

    Pubblicato in PLoS One (Jul 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  3. Copertina

    Perspectives of semantic modeling in categories di Steingartner, William

    Citation/Abstract
    Full Text
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  4. Copertina

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

    Pubblicato in arXiv.org (Jul 26, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  5. Copertina

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

    Pubblicato in arXiv.org (Mar 22, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  6. Copertina

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

    Pubblicato in arXiv.org (Oct 9, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  7. Copertina

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

    Pubblicato in arXiv.org (Sep 5, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  8. Copertina

    A Diagrammatic Algebra for Program Logics di Bonchi, Filippo

    Pubblicato in arXiv.org (Oct 4, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  9. Copertina

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

    Pubblicato in arXiv.org (Sep 9, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  10. Copertina

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

    Pubblicato in arXiv.org (Jul 13, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  11. Copertina

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

    Pubblicato in arXiv.org (May 22, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  12. Copertina

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

    Pubblicato in arXiv.org (Jun 21, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  13. Copertina

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

    Pubblicato in arXiv.org (Apr 17, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  14. Copertina

    Window Expressions for Stream Data Processing di Praveen, M

    Pubblicato in arXiv.org (Mar 1, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  15. Copertina

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

    Pubblicato in arXiv.org (Oct 26, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  16. Copertina

    Specification Slicing for VDM-SL di Oda, Tomohiro

    Pubblicato in arXiv.org (Oct 4, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  17. Copertina

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

    Pubblicato in arXiv.org (Jul 23, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  18. Copertina

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

    Pubblicato in Natural Computing (Jun 2024)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  19. Copertina

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

    Pubblicato in EPJ Web of Conferences (2024)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  20. Copertina

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

    Pubblicato in Automatic Control and Computer Sciences (Dec 2024)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: