Higher-Order Rewriting for Intensional Properties of Programs and Circuits

Informazioni relative al progetto

HORIP

ID dell’accordo di sovvenzione: 658162

DOI

10.3030/658162

Progetto chiuso

Data della firma CE 23 Marzo 2015

Data di avvio 1 Ottobre 2015

Data di completamento 30 Settembre 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

Peer reviewed articles (3)

Complexity of Conditional Term Rewriting

Autori: Cynthia Kop and Aart Middeldorp and Thomas Sternagel
Pubblicato in: Logical Methods in Computer Science (lmcs:3123), Numero 13/1, 2017, ISSN 1860-5974
Editore: Technischen Universitat Braunschweig

Verifying Procedural Programs via Constrained Rewriting Induction

Autori: Carsten Fuhs, Cynthia Kop, Naoki Nishida
Pubblicato in: ACM Transactions on Computational Logic, Numero 18/2, 2017, Pagina/e 1-50, ISSN 1529-3785
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3060143

Complexity Hierarchies and Higher-order Cons-free Term Rewriting

Autori: Cynthia Kop and Jakob Grue Simonsen
Pubblicato in: Logical Methods in Computer Science (lmcs:3847; Special Numero for FSCD 2016), Numero 13/3, 2017, ISSN 1860-5974
Editore: Technischen Universitat Braunschweig

Conference proceedings (7)

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

Autori: Cynthia Kop, Jakob Grue Simonsen
Pubblicato in: Programming Languages and Systems (Proceedings of ESOP 2016), Numero LNCS 10201, 2017, Pagina/e 668-695, ISBN 978-3-662-54434-1
Editore: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54434-1_25

Complexity Hierarchies and Higher-Order Cons-Free Rewriting

Autori: Cynthia Kop and Jakob Grue Simonsen
Pubblicato in: Formal Structures for Computation and Deduction (Proceedings of FSCD 2016, LIPIcs), Numero 52, 2016, Pagina/e 23:1--23:18, ISBN 978-3-95977-010-1
Editore: Dagstuhl
DOI: 10.4230/LIPIcs.FSCD.2016.23

h: A Plank for Higher-order Attribute Contraction Schemes

Autori: Cynthia Kop, Kristoffer Rose
Pubblicato in: Higher Order Rewriting: HOR 2016, 2016
Editore: --

On First-order Cons-free Term Rewriting and PTIME

Autori: Cynthia Kop
Pubblicato in: Developments in Implicit Computational complExity: DICE 2016, 2016
Editore: --

Higher-order Cons-free Interpreters

Autori: Cynthia Kop, Jakob Grue Simonsen
Pubblicato in: Higher Order Rewriting: HOR 2016, 2016
Editore: --

Non-deterministic Characterisations

Autori: Cynthia Kop
Pubblicato in: Workshop on Termination: WST 2016, 2016
Editore: --

Cons-free Programming with Immutable Functions

Autori: Cynthia Kop
Pubblicato in: Developments in Implicit Computational complExity: DICE 2017, 2017
Editore: --