Synthetic Methods in Program Verification

Información del proyecto

TypeSynth

Identificador del acuerdo de subvención: 101065303

DOI

10.3030/101065303

Proyecto finalizado el 31 Agosto 2023

Fecha de la firma de la CE 16 Junio 2022

Fecha de inicio 1 Julio 2022

Fecha de finalización 30 Junio 2024

Financiado con arreglo a

• Marie Skłodowska-Curie Actions (MSCA)

Coste total

Sin datos

Aportación de la UE

€ 214 934,40

Coordinado por

AARHUS UNIVERSITET
Denmark

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Other (6)

Denotational semantics of general store and polymorphism

Autores: Jonathan Sterling, Daniel Gratzer, and Lars Birkedal
Publicado en: (Under Review), 2022, ISSN 2331-8422
Editor: arXiv
DOI: 10.48550/arXiv.2308.02906

Towards a Geometry of Syntax

Autores: Jonathan Sterling
Publicado en: (Under Review), 2023, ISSN 2331-8422
Editor: arXiv
DOI: 10.48550/arXiv.2307.09497

Free theorems from univalent reference types

Autores: Jonathan Sterling, Daniel Gratzer, and Lars Birkedal
Publicado en: (Under Review), 2023, ISSN 2331-8422
Editor: arXiv
DOI: 10.48550/arXiv.2307.16608

Decalf: A Directed, Effectful Cost-Aware Logical Framework

Autores: Harrison Grodin, Robert Harper, Yue Niu, and Jonathan Sterling
Publicado en: (Under Review), 2023, ISSN 2331-8422
Editor: arXiv
DOI: 10.48550/arXiv.2307.05938

Controlling unfolding in type theory

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

Reflections on existential types

Autores: Jonathan Sterling
Publicado en: (Under Review), 2022, ISSN 2331-8422
Editor: arXiv
DOI: 10.48550/arXiv.2210.00758

Conference proceedings (1)

A denotationally-based program logic for higher-order store

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

Peer reviewed articles (1)

What should a generic object be?

Autores: Jonathan Sterling
Publicado en: Mathematical Structures in Computer Science, 2023, ISSN 0960-1295
Editor: Cambridge University Press
DOI: 10.1017/S0960129523000117