Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

What is an Algorithm? Extensional and Intensional Equivalences between Programs

De 2015-09-01 à 2017-08-31 | Walgo Site web

Détails concernant le projet

Coût total:

EUR 200 194,80

Contribution de l'UE:

EUR 200 194,80

Coordonné à/au(x)/en:

Denmark

Appel à propositions:

H2020-MSCA-IF-2014See other projects for this call

Régime de financement:

MSCA-IF-EF-ST - Standard EF

Objectif

Deliverables

Deliverables not available

Publications

  • Implicit Complexity in Theory and Practice
    Author(s): Jean-Yves Moyen
  • More intensional versions of Rice's Theorem
    Author(s): Jean-Yves Moyen Jakob Grue Simonsen
    Published in: Developments in Implicit Computational Complexity, DICE'16, 2016. 
  • Loop Quasi-Invariant Chunk Detection
    Author(s): Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
    Published in: International Symposium on Automated Technology for Verification and Analysis ATVA 2017, 2017. Page(s) 91-108. 
    DOI: 10.1007/978-3-319-68167-2_7

Coordinateur

KOBENHAVNS UNIVERSITET
Denmark

Contribution de l'UE: EUR 200 194,80


NORREGADE 10
1165 KOBENHAVN
Denmark
Activity type: Higher or Secondary Education Establishments

Contact the organisation