Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Certified Refinement Types

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Data Management Plan (öffnet in neuem Fenster)

The purpose of this document is to outline our data management plan for the duration of the CRETE project with the goal of defining what data is going to be collected and made available to the public through what channels

Veröffentlichungen

ANOSY: approximated knowledge synthesis with refinement types for declassification (öffnet in neuem Fenster)

Autoren: Guria, Sankha Narayan; Vazou, Niki; Guarnieri, Marco; Parker, James
Veröffentlicht in: PLDI, 2022
Herausgeber: ACM
DOI: 10.48550/arxiv.2203.12069

How to Safely Use Extensionality in Liquid Haskell (öffnet in neuem Fenster)

Autoren: Niki Vazou and Michael Greenberg
Veröffentlicht in: Haskell Symposium, 2022
Herausgeber: ACM
DOI: 10.1145/3546189.3549919

Flux: Liquid Types for Rust (öffnet in neuem Fenster)

Autoren: Nico Lehmann; Adam T. Geller; Niki Vazou; Ranjit Jhala
Veröffentlicht in: PLDI, 2023
Herausgeber: ACM
DOI: 10.48550/arxiv.2207.04034

Modular Implementation and Formalization of Dynamic Policies Work In Progress

Autoren: Antonio Zegarelli, Niki Vazou, and Marco Guarnieri
Veröffentlicht in: FCS, 2024
Herausgeber: N/A

REST : Integrating Term Rewriting with Program Verification (öffnet in neuem Fenster)

Autoren: Grannan, Zachary; Vazou, Niki; Darulova, Eva; Summers, Alexander J.
Veröffentlicht in: ECOOP, 2022
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/DARTS.8.2.12

OBRA: Oracle-Based, Relational, Algorithmic Type Verification (öffnet in neuem Fenster)

Autoren: Elizaveta Vasilenko, Niki Vazou, Gilles Barthe
Veröffentlicht in: Lecture Notes in Computer Science, Programming Languages and Systems, 2024
Herausgeber: Springer Nature Singapore
DOI: 10.1007/978-981-97-8943-6_14

Liquid Proof Macros (öffnet in neuem Fenster)

Autoren: Henry Blanchette, Niki Vazou, and Leonidas Lampropoulos
Veröffentlicht in: Haskell Symposium, 2022
Herausgeber: ACM
DOI: 10.1145/3546189.3549921

Mechanizing Refinement Types (öffnet in neuem Fenster)

Autoren: Michael H. Borkowski; Niki Vazou; Ranjit Jhala
Veröffentlicht in: POPL, 2024
Herausgeber: ACM
DOI: 10.1145/3632912

Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell (öffnet in neuem Fenster)

Autoren: Lykourgos Mastorou; Nikolaos Papaspyrou; Niki Vazou
Veröffentlicht in: Haskell Symposium, 2022
Herausgeber: ACM
DOI: 10.1145/3546189.3549922

Safe couplings: coupled refinement types (öffnet in neuem Fenster)

Autoren: Elizaveta Vasilenko; Niki Vazou; Gilles Barthe
Veröffentlicht in: ICFP, 2022
Herausgeber: ACM
DOI: 10.1145/3547643

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0