Synthetic Methods in Program Verification

Informazioni relative al progetto

TypeSynth

ID dell’accordo di sovvenzione: 101065303

DOI

10.3030/101065303

Progetto concluso il 31 Agosto 2023

Data della firma CE 16 Giugno 2022

Data di avvio 1 Luglio 2022

Data di completamento 30 Giugno 2024

Finanziato da

• Marie Skłodowska-Curie Actions (MSCA)

Costo totale

Nessun dato

Contributo UE

€ 214 934,40

Coordinato da

AARHUS UNIVERSITET
Denmark

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Other (6)

Denotational semantics of general store and polymorphism

Autori: Jonathan Sterling, Daniel Gratzer, and Lars Birkedal
Pubblicato in: (Under Review), 2022, ISSN 2331-8422
Editore: arXiv
DOI: 10.48550/arXiv.2308.02906

Towards a Geometry of Syntax

Autori: Jonathan Sterling
Pubblicato in: (Under Review), 2023, ISSN 2331-8422
Editore: arXiv
DOI: 10.48550/arXiv.2307.09497

Free theorems from univalent reference types

Autori: Jonathan Sterling, Daniel Gratzer, and Lars Birkedal
Pubblicato in: (Under Review), 2023, ISSN 2331-8422
Editore: arXiv
DOI: 10.48550/arXiv.2307.16608

Decalf: A Directed, Effectful Cost-Aware Logical Framework

Autori: Harrison Grodin, Robert Harper, Yue Niu, and Jonathan Sterling
Pubblicato in: (Under Review), 2023, ISSN 2331-8422
Editore: arXiv
DOI: 10.48550/arXiv.2307.05938

Controlling unfolding in type theory

Autori: Daniel Gratzer, Jonathan Sterling,Carlo Angiuli, Thierry Coquand, and Lars Birkedal
Pubblicato in: Controlling unfolding in type theory, 2022, ISSN 2331-8422
Editore: arXiv
DOI: 10.48550/arXiv.2210.05420

Reflections on existential types

Autori: Jonathan Sterling
Pubblicato in: (Under Review), 2022, ISSN 2331-8422
Editore: arXiv
DOI: 10.48550/arXiv.2210.00758

Conference proceedings (1)

A denotationally-based program logic for higher-order store

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

Peer reviewed articles (1)

What should a generic object be?

Autori: Jonathan Sterling
Pubblicato in: Mathematical Structures in Computer Science, 2023, ISSN 0960-1295
Editore: Cambridge University Press
DOI: 10.1017/S0960129523000117