What is an Algorithm? Extensional and Intensional Equivalences between Programs

Informazioni relative al progetto

Walgo

ID dell’accordo di sovvenzione: 655222

DOI

10.3030/655222

Progetto chiuso

Data della firma CE 2 Marzo 2015

Data di avvio 1 Settembre 2015

Data di completamento 31 Agosto 2017

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 200 194,80

Contributo UE

€ 200 194,80

Coordinato da

KOBENHAVNS 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

Conference proceedings (2)

More intensional versions of Rice's Theorem

Autori: Jean-Yves Moyen Jakob Grue Simonsen
Pubblicato in: Developments in Implicit Computational Complexity, DICE'16, 2016
Editore: Damiano Mazza

Loop Quasi-Invariant Chunk Detection

Autori: Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Pubblicato in: International Symposium on Automated Technology for Verification and Analysis ATVA 2017, 2017, Pagina/e 91-108
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-68167-2_7

Peer reviewed articles (2)

Computability in the Lattice of Equivalence Relations

Autori: Jean-Yves Moyen, Jakob Grue Simonsen
Pubblicato in: Electronic Proceedings in Theoretical Computer Science, Numero 248, 2017, Pagina/e 38-46, ISSN 2075-2180
Editore: Guillaume Bonfante and Georg Möser
DOI: 10.4204/EPTCS.248.8

Loop Quasi-Invariant Chunk Motion by peeling with statement composition

Autori: Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Pubblicato in: Electronic Proceedings in Theoretical Computer Science, Numero 248, 2017, Pagina/e 47-59, ISSN 2075-2180
Editore: Guillaume Bonfante and Georg Möser
DOI: 10.4204/EPTCS.248.9

Thesis and dissertations (1)

Implicit Complexity in Theory and Practice

Autori: Jean-Yves Moyen
Pubblicato in: 2017
Editore: University of Copenhagen