What is an Algorithm? Extensional and Intensional Equivalences between Programs

Projektinformationen

Walgo

ID Finanzhilfevereinbarung: 655222

DOI

10.3030/655222

Projekt abgeschlossen

EK-Unterschriftsdatum 2 März 2015

Startdatum 1 September 2015

Enddatum 31 August 2017

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 200 194,80

EU-Beitrag

€ 200 194,80

Koordiniert durch

KOBENHAVNS 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

Conference proceedings (2)

More intensional versions of Rice's Theorem

Autoren: Jean-Yves Moyen Jakob Grue Simonsen
Veröffentlicht in: Developments in Implicit Computational Complexity, DICE'16, 2016
Herausgeber: Damiano Mazza

Loop Quasi-Invariant Chunk Detection

Autoren: Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Veröffentlicht in: International Symposium on Automated Technology for Verification and Analysis ATVA 2017, 2017, Seite(n) 91-108
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-68167-2_7

Peer reviewed articles (2)

Computability in the Lattice of Equivalence Relations

Autoren: Jean-Yves Moyen, Jakob Grue Simonsen
Veröffentlicht in: Electronic Proceedings in Theoretical Computer Science, Ausgabe 248, 2017, Seite(n) 38-46, ISSN 2075-2180
Herausgeber: Guillaume Bonfante and Georg Möser
DOI: 10.4204/EPTCS.248.8

Loop Quasi-Invariant Chunk Motion by peeling with statement composition

Autoren: Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Veröffentlicht in: Electronic Proceedings in Theoretical Computer Science, Ausgabe 248, 2017, Seite(n) 47-59, ISSN 2075-2180
Herausgeber: Guillaume Bonfante and Georg Möser
DOI: 10.4204/EPTCS.248.9

Thesis and dissertations (1)

Implicit Complexity in Theory and Practice

Autoren: Jean-Yves Moyen
Veröffentlicht in: 2017
Herausgeber: University of Copenhagen