Community Research and Development Information Service - CORDIS

What is an Algorithm? Extensional and Intensional Equivalences between Programs

From 2015-09-01 to 2017-08-31 | Walgo Website

Project details

Total cost:

EUR 200 194,80

EU contribution:

EUR 200 194,80

Coordinated in:

Denmark

Call for proposal:

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

Funding scheme:

MSCA-IF-EF-ST - Standard EF

Objective

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

Coordinator

KOBENHAVNS UNIVERSITET
Denmark

EU contribution: EUR 200 194,80


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

Contact the organisation

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top