Synthetic Methods in Program Verification

Projektinformationen

TypeSynth

ID Finanzhilfevereinbarung: 101065303

DOI

10.3030/101065303

Das Projekt endete am 31 August 2023

EK-Unterschriftsdatum 16 Juni 2022

Startdatum 1 Juli 2022

Enddatum 30 Juni 2024

Finanziert unter

• Marie Skłodowska-Curie Actions (MSCA)

Gesamtkosten

Keine Daten

EU-Beitrag

€ 214 934,40

Koordiniert durch

AARHUS UNIVERSITET
Denmark

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.

Veröffentlichungen

Other (6)

Denotational semantics of general store and polymorphism

Autoren: Jonathan Sterling, Daniel Gratzer, and Lars Birkedal
Veröffentlicht in: (Under Review), 2022, ISSN 2331-8422
Herausgeber: arXiv
DOI: 10.48550/arXiv.2308.02906

Towards a Geometry of Syntax

Autoren: Jonathan Sterling
Veröffentlicht in: (Under Review), 2023, ISSN 2331-8422
Herausgeber: arXiv
DOI: 10.48550/arXiv.2307.09497

Free theorems from univalent reference types

Autoren: Jonathan Sterling, Daniel Gratzer, and Lars Birkedal
Veröffentlicht in: (Under Review), 2023, ISSN 2331-8422
Herausgeber: arXiv
DOI: 10.48550/arXiv.2307.16608

Decalf: A Directed, Effectful Cost-Aware Logical Framework

Autoren: Harrison Grodin, Robert Harper, Yue Niu, and Jonathan Sterling
Veröffentlicht in: (Under Review), 2023, ISSN 2331-8422
Herausgeber: arXiv
DOI: 10.48550/arXiv.2307.05938

Controlling unfolding in type theory

Autoren: Daniel Gratzer, Jonathan Sterling,Carlo Angiuli, Thierry Coquand, and Lars Birkedal
Veröffentlicht in: Controlling unfolding in type theory, 2022, ISSN 2331-8422
Herausgeber: arXiv
DOI: 10.48550/arXiv.2210.05420

Reflections on existential types

Autoren: Jonathan Sterling
Veröffentlicht in: (Under Review), 2022, ISSN 2331-8422
Herausgeber: arXiv
DOI: 10.48550/arXiv.2210.00758

Conference proceedings (1)

A denotationally-based program logic for higher-order store

Autoren: Frederik Lerbjerg Aagaard, Jonathan Sterling, and Lars Birkedal
Veröffentlicht in: 39th International Conference on Mathematical Foundations of Programming Semantics, 2023, ISSN 2969-2431
Herausgeber: Electronic Notes in Theoretical Informatics and Computer Science
DOI: 10.48550/arXiv.2210.02169

Peer reviewed articles (1)

What should a generic object be?

Autoren: Jonathan Sterling
Veröffentlicht in: Mathematical Structures in Computer Science, 2023, ISSN 0960-1295
Herausgeber: Cambridge University Press
DOI: 10.1017/S0960129523000117