Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
143 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

143 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Is sized typing for Coq practical?
    CHAN, JONATHAN ; LI, YUFENG ; et al.
    In: Journal of Functional Programming ; volume 33 ; ISSN 0956-7968 1469-7653, 2023
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM
    DANVY, OLIVIER
    In: Journal of Functional Programming ; volume 33 ; ISSN 0956-7968 1469-7653, 2023
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Extracting functional programs from Coq, in Coq
    ANNENKOV, DANIL ; MILO, MIKKEL ; et al.
    In: Journal of Functional Programming ; volume 32 ; ISSN 0956-7968 1469-7653, 2022
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    A Formalization of Core Why3 in Coq
    Cohen, Joshua M. ; Johnson-Freyd, Philip ; et al.
    In: Proceedings of the ACM on Programming Languages ; volume 8, issue POPL, page 1789-1818 ; ISSN 2475-1421, 2024
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant
    DANVY, OLIVIER
    In: Journal of Functional Programming ; volume 32 ; ISSN 0956-7968 1469-7653, 2022
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Ready, Set , Verify! Applying hs-to-coq to real-world Haskell code
    BREITNER, JOACHIM ; SPECTOR-ZABUSKY, ANTAL ; et al.
    In: Journal of Functional Programming ; volume 31 ; ISSN 0956-7968 1469-7653, 2021
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
    Haselwarter, Philipp G. ; Rivas, Exequiel ; et al.
    In: ACM Transactions on Programming Languages and Systems ; volume 45, issue 3, page 1-61 ; ISSN 0164-0925 1558-4593, 2023
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Reasoning about connectors using Coq and Z3
    Zhang, Xiyue ; Hong, Weijiang ; et al.
    In: Science of Computer Programming ; volume 170, page 27-44 ; ISSN 0167-6423, 2019
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Hammer for Coq: Automation for Dependent Type Theory
    Czajka, Łukasz ; Kaliszyk, Cezary ; et al.
    In: Journal of Automated Reasoning ; volume 61, issue 1-4, page 423-453 ; ISSN 0168-7433 1573-0670, 2018
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Embedding the refinement calculus in Coq
    Alpuim, João ; Swierstra, Wouter ; et al.
    In: Science of Computer Programming ; volume 164, page 37-48 ; ISSN 0167-6423, 2018
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    A Coq library for internal verification of running-times
    McCarthy, Jay ; Fetscher, Burke ; et al.
    In: Science of Computer Programming ; volume 164, page 49-65 ; ISSN 0167-6423, 2018
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Formalization of Habanero phasers using Coq
    Cogumbreiro, Tiago ; Shirako, Jun ; et al.
    In: Journal of Logical and Algebraic Methods in Programming ; volume 90, page 50-60 ; ISSN 2352-2208, 2017
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    A Coq Formalization of Lebesgue Integration of Nonnegative Functions
    Boldo, Sylvie ; Clément, François ; et al.
    In: Journal of Automated Reasoning ; ISSN 0168-7433 1573-0670, 2021
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Symbolic Reasoning About Quantum Circuits in Coq
    Shi, Wen-Jun ; Cao, Qin-Xiang ; et al.
    In: Journal of Computer Science and Technology ; volume 36, issue 6, page 1291-1306 ; ISSN 1000-9000 1860-4749, 2021
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements
    Carvalho, Gustavo ; Meira, Igor ; et al.
    In: Science of Computer Programming ; volume 201, page 102537 ; ISSN 0167-6423, 2021
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Verification of dynamic bisimulation theorems in Coq
    Fervari, Raul ; Trucco, Francisco ; et al.
    In: Journal of Logical and Algebraic Methods in Programming ; volume 120, page 100642 ; ISSN 2352-2208, 2021
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Deciding Kleene algebra terms equivalence in Coq
    Moreira, Nelma ; Pereira, David ; et al.
    In: Journal of Logical and Algebraic Methods in Programming ; volume 84, issue 3, page 377-401 ; ISSN 2352-2208, 2015
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Modeling and verification of component connectors in Coq
    Li, Yi ; Sun, Meng ; et al.
    In: Science of Computer Programming ; volume 113, page 285-301 ; ISSN 0167-6423, 2015
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Homology modelling and molecular docking studies of nitric oxide synthase (inducible) of Gallus gallus
    Singh, Salam Pradeep ; Gogoi, Bhaskarjyoti ; et al.
    In: Journal of Pharmacy Research ; volume 7, issue 5, page 443-447 ; ISSN 0974-6943, 2013
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Graph Theory in Coq: Minors, Treewidth, and Isomorphisms
    Doczkal, Christian ; Pous, Damien ; et al.
    In: Journal of Automated Reasoning ; volume 64, issue 5, page 795-825 ; ISSN 0168-7433 1573-0670, 2020
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -