תוצאות חיפוש - "Imperative programming"

Limitar resultados
  1. תמונות העטיפה

    Coverage-Based Fault Localization in Haskell

    הוצא לאור ב Journal of Computer Science and Technology (Jan 2025)
    Citation/Abstract
    Full Text - PDF
    הוספה למועדפים
    שמור ב:
  2. תמונות העטיפה

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

    הוצא לאור ב PLoS One (Jul 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    הוספה למועדפים
    שמור ב:
  3. תמונות העטיפה

    Perspectives of semantic modeling in categories מאת Steingartner, William

    Citation/Abstract
    Full Text
    Full Text - PDF
    הוספה למועדפים
    שמור ב:
  4. תמונות העטיפה

    LLASP: Fine-tuning Large Language Models for Answer Set Programming מאת Coppolillo, Erica

    הוצא לאור ב arXiv.org (Jul 26, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  5. תמונות העטיפה

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

    הוצא לאור ב arXiv.org (Mar 22, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  6. תמונות העטיפה

    Leroy: Library Learning for Imperative Programming Languages מאת Bellur, Abhiram

    הוצא לאור ב arXiv.org (Oct 9, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  7. תמונות העטיפה

    A Brief Overview of the Pawns Programming Language מאת Naish, Lee

    הוצא לאור ב arXiv.org (Sep 5, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  8. תמונות העטיפה

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

    הוצא לאור ב arXiv.org (Apr 17, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  9. תמונות העטיפה

    A Diagrammatic Algebra for Program Logics מאת Bonchi, Filippo

    הוצא לאור ב arXiv.org (Oct 4, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  10. תמונות העטיפה

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

    הוצא לאור ב arXiv.org (Sep 9, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  11. תמונות העטיפה

    The Significance of Symbolic Logic for Scientific Education מאת Platzer, André

    הוצא לאור ב arXiv.org (Jul 13, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  12. תמונות העטיפה

    Semantics, Specification Logic, and Hoare Logic of Exact Real Computation מאת Park, Sewon

    הוצא לאור ב arXiv.org (Jun 21, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  13. תמונות העטיפה

    Window Expressions for Stream Data Processing מאת Praveen, M

    הוצא לאור ב arXiv.org (Mar 1, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  14. תמונות העטיפה

    Source-level reasoning for quantitative information flow מאת Chen, Chris

    הוצא לאור ב arXiv.org (May 22, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  15. תמונות העטיפה

    Abstract Operational Methods for Call-by-Push-Value מאת Goncharov, Sergey

    הוצא לאור ב arXiv.org (Oct 26, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  16. תמונות העטיפה

    Specification Slicing for VDM-SL מאת Oda, Tomohiro

    הוצא לאור ב arXiv.org (Oct 4, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  17. תמונות העטיפה

    Sound and Complete Proof Rules for Probabilistic Termination מאת Majumdar, Rupak

    הוצא לאור ב arXiv.org (Jul 23, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    הוספה למועדפים
    שמור ב:
  18. תמונות העטיפה

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

    הוצא לאור ב Natural Computing (Jun 2024)
    Citation/Abstract
    Full Text - PDF
    הוספה למועדפים
    שמור ב:
  19. תמונות העטיפה

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

    הוצא לאור ב EPJ Web of Conferences (2024)
    Citation/Abstract
    Full Text - PDF
    הוספה למועדפים
    שמור ב:
  20. תמונות העטיפה

    LTL-Specification for Development and Verification of Control Programs מאת Neyzov, M. V.

    הוצא לאור ב Automatic Control and Computer Sciences (Dec 2024)
    Citation/Abstract
    Full Text
    Full Text - PDF
    הוספה למועדפים
    שמור ב:

כלי חיפוש: