Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
21 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

Sprache

21 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Reasoning about logical systems in the Coq proof assistant.
    Reynolds, Conor ; Monahan, Rosemary
    In: Science of Computer Programming, Jg. 233 (2024-03-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Reasoning about connectors using Coq and Z3.
    Zhang, Xiyue ; Hong, Weijiang ; et al.
    In: Science of Computer Programming, Jg. 170 (2019-01-15), S. 27-44
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Modeling and verification of component connectors in Coq.
    Li, Yi ; Sun, Meng
    In: Science of Computer Programming, Jg. 113 (2015-12-03), S. 285-301
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Formalizing SPARCv8 instruction set architecture in Coq.
    Wang, Jiawei ; Fu, Ming ; et al.
    In: Science of Computer Programming, Jg. 187 (2020-02-15), S. N.PAG
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Proofs of randomized algorithms in Coq
    Audebaud, Philippe ; Paulin-Mohring, Christine
    In: Science of Computer Programming, Jg. 74 (2009-06-01), Heft 8, S. 568-589
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements.
    Carvalho, Gustavo ; Meira, Igor
    In: Science of Computer Programming, Jg. 201 (2021), S. N.PAG
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Towards Turing computability via coinduction.
    Ciaffaglione, Alberto
    In: Science of Computer Programming, Jg. 126 (2016-09-15), S. 31-51
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Map fusion for nested datatypes in intensional type theory
    Matthes, Ralph
    In: Science of Computer Programming, Jg. 76 (2011-03-01), Heft 3, S. 204-224
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Formal proof of a program: Find
    Filliâtre, Jean-Christophe
    In: Science of Computer Programming, Jg. 64 (2007-02-01), Heft 3, S. 332-340
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Certifying assembly with formal security proofs: The case of BBS
    Affeldt, Reynald ; Nowak, David ; et al.
    In: Science of Computer Programming, Jg. 77 (2012-09-01), Heft 10/11, S. 1058-1074
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Programming language foundations in Agda.
    Kokke, Wen ; Siek, Jeremy G. ; et al.
    In: Science of Computer Programming, Jg. 194 (2020-08-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Proving partial-correctness and invariance properties of transition-system models.
    Rusu, Vlad ; Grimaud, Gilles ; et al.
    In: Science of Computer Programming, Jg. 186 (2020-02-01), S. N.PAG
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Translation certification for smart contracts.
    Krijnen, Jacco O.G. ; Chakravarty, Manuel M.T. ; et al.
    In: Science of Computer Programming, Jg. 233 (2024-03-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Program extraction for mutable arrays.
    Sakaguchi, Kazuhiko
    In: Science of Computer Programming, Jg. 191 (2020-06-01), S. N.PAG
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study.
    Yang, Zhibin ; Yuan, Shenghao ; et al.
    In: Science of Computer Programming, Jg. 207 (2021-07-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    A dependently typed calculus with polymorphic subtyping.
    Xue, Mingqi ; Oliveira, Bruno C.d.S.
    In: Science of Computer Programming, Jg. 208 (2021-08-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.
    Zhang, Yuanrui ; Wu, Hengyang ; et al.
    In: Science of Computer Programming, Jg. 203 (2021-03-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    A clock-based dynamic logic for schedulability analysis of CCSL specifications.
    Zhang, Yuanrui ; Mallet, Frédéric ; et al.
    In: Science of Computer Programming, Jg. 202 (2021-02-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Mechanization of coherence and adequacy: Being extrinsic extended to subtyping.
    Gadea, Alejandro ; Gunther, Emmanuel ; et al.
    In: Science of Computer Programming, Jg. 197 (2020-10-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Compositional model checking with divergence preserving branching bisimilarity is lively.
    de Putter, Sander ; Lang, Frédéric ; et al.
    In: Science of Computer Programming, Jg. 196 (2020-09-15), S. N.PAG
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -