Higher-Order Rewriting for Intensional Properties of Programs and Circuits

Informations projet

HORIP

N° de convention de subvention: 658162

DOI

10.3030/658162

Projet clôturé

Date de signature de la CE 23 Mars 2015

Date de début 1 Octobre 2015

Date de fin 30 Septembre 2017

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 200 194,80

Contribution de l’UE

€ 200 194,80

Coordonné par

KOBENHAVNS UNIVERSITET
Denmark

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (3)

Complexity of Conditional Term Rewriting

Auteurs: Cynthia Kop and Aart Middeldorp and Thomas Sternagel
Publié dans: Logical Methods in Computer Science (lmcs:3123), Numéro 13/1, 2017, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig

Verifying Procedural Programs via Constrained Rewriting Induction

Auteurs: Carsten Fuhs, Cynthia Kop, Naoki Nishida
Publié dans: ACM Transactions on Computational Logic, Numéro 18/2, 2017, Page(s) 1-50, ISSN 1529-3785
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3060143

Complexity Hierarchies and Higher-order Cons-free Term Rewriting

Auteurs: Cynthia Kop and Jakob Grue Simonsen
Publié dans: Logical Methods in Computer Science (lmcs:3847; Special Numéro for FSCD 2016), Numéro 13/3, 2017, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig

Conference proceedings (7)

The Power of Non-Determinism in Higher-Order Implicit Complexity

Auteurs: Cynthia Kop, Jakob Grue Simonsen
Publié dans: Programming Languages and Systems (Proceedings of ESOP 2016), Numéro LNCS 10201, 2017, Page(s) 668-695, ISBN 978-3-662-54434-1
Éditeur: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54434-1_25

Complexity Hierarchies and Higher-Order Cons-Free Rewriting

Auteurs: Cynthia Kop and Jakob Grue Simonsen
Publié dans: Formal Structures for Computation and Deduction (Proceedings of FSCD 2016, LIPIcs), Numéro 52, 2016, Page(s) 23:1--23:18, ISBN 978-3-95977-010-1
Éditeur: Dagstuhl
DOI: 10.4230/LIPIcs.FSCD.2016.23

h: A Plank for Higher-order Attribute Contraction Schemes

Auteurs: Cynthia Kop, Kristoffer Rose
Publié dans: Higher Order Rewriting: HOR 2016, 2016
Éditeur: --

On First-order Cons-free Term Rewriting and PTIME

Auteurs: Cynthia Kop
Publié dans: Developments in Implicit Computational complExity: DICE 2016, 2016
Éditeur: --

Higher-order Cons-free Interpreters

Auteurs: Cynthia Kop, Jakob Grue Simonsen
Publié dans: Higher Order Rewriting: HOR 2016, 2016
Éditeur: --

Non-deterministic Characterisations

Auteurs: Cynthia Kop
Publié dans: Workshop on Termination: WST 2016, 2016
Éditeur: --

Cons-free Programming with Immutable Functions

Auteurs: Cynthia Kop
Publié dans: Developments in Implicit Computational complExity: DICE 2017, 2017
Éditeur: --