Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Schlagwort

Sprache

10 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq
    Tabareau, Nicolas ; Winterhalter, Théo ; et al.
    2020
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    CoqTL: A Coq DSL for Rule-Based Model Transformation
    Tisi, Massimo ; Cheng, Zheng ; et al.
    2020
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Nested Abstract Syntax in Coq
    Hirschowitz, André ; Maggesi, Marco ; et al.
    2012
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Deep Specification and Proof Preservation for the CoqTL Transformation Language
    Cheng, Zheng ; Tisi, Massimo ; et al.
    2022
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra
    Boulmé, Sylvain ; Maréchal, Alexandre ; et al.
    2018
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    A Trustworthy Mechanized Formalization of R
    Tanter, Éric ; Bodin, Martin ; et al.
    2018
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Static interpretation of higher-order modules in Futhark: functional GPU programming in the large
    Elsman, Martin ; Henriksen, Troels ; et al.
    2018
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Cut branches before looking for bugs: certifiably sound verification on relaxed slices
    Léchenet, Jean-Christophe ; Kosmatov, Nikolai ; et al.
    2018
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Cut branches before looking for bugs: Sound verification on relaxed slices
    Pascale Le Gall ; Léchenet, Jean-Christophe ; et al.
    2016
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Common compiler optimisations are invalid in the C11 memory model and what we can do about it
    Francesco Zappa Nardelli ; Morisset, Robin ; et al.
    2015
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -