Higher-Order Rewriting for Intensional Properties of Programs and Circuits

Projektinformationen

HORIP

ID Finanzhilfevereinbarung: 658162

DOI

10.3030/658162

Projekt abgeschlossen

EK-Unterschriftsdatum 23 März 2015

Startdatum 1 Oktober 2015

Enddatum 30 September 2017

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 200 194,80

EU-Beitrag

€ 200 194,80

Koordiniert durch

KOBENHAVNS UNIVERSITET
Denmark

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (3)

Complexity of Conditional Term Rewriting

Autoren: Cynthia Kop and Aart Middeldorp and Thomas Sternagel
Veröffentlicht in: Logical Methods in Computer Science (lmcs:3123), Ausgabe 13/1, 2017, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig

Verifying Procedural Programs via Constrained Rewriting Induction

Autoren: Carsten Fuhs, Cynthia Kop, Naoki Nishida
Veröffentlicht in: ACM Transactions on Computational Logic, Ausgabe 18/2, 2017, Seite(n) 1-50, ISSN 1529-3785
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3060143

Complexity Hierarchies and Higher-order Cons-free Term Rewriting

Autoren: Cynthia Kop and Jakob Grue Simonsen
Veröffentlicht in: Logical Methods in Computer Science (lmcs:3847; Special Ausgabe for FSCD 2016), Ausgabe 13/3, 2017, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig

Conference proceedings (7)

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

Autoren: Cynthia Kop, Jakob Grue Simonsen
Veröffentlicht in: Programming Languages and Systems (Proceedings of ESOP 2016), Ausgabe LNCS 10201, 2017, Seite(n) 668-695, ISBN 978-3-662-54434-1
Herausgeber: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54434-1_25

Complexity Hierarchies and Higher-Order Cons-Free Rewriting

Autoren: Cynthia Kop and Jakob Grue Simonsen
Veröffentlicht in: Formal Structures for Computation and Deduction (Proceedings of FSCD 2016, LIPIcs), Ausgabe 52, 2016, Seite(n) 23:1--23:18, ISBN 978-3-95977-010-1
Herausgeber: Dagstuhl
DOI: 10.4230/LIPIcs.FSCD.2016.23

h: A Plank for Higher-order Attribute Contraction Schemes

Autoren: Cynthia Kop, Kristoffer Rose
Veröffentlicht in: Higher Order Rewriting: HOR 2016, 2016
Herausgeber: --

On First-order Cons-free Term Rewriting and PTIME

Autoren: Cynthia Kop
Veröffentlicht in: Developments in Implicit Computational complExity: DICE 2016, 2016
Herausgeber: --

Higher-order Cons-free Interpreters

Autoren: Cynthia Kop, Jakob Grue Simonsen
Veröffentlicht in: Higher Order Rewriting: HOR 2016, 2016
Herausgeber: --

Non-deterministic Characterisations

Autoren: Cynthia Kop
Veröffentlicht in: Workshop on Termination: WST 2016, 2016
Herausgeber: --

Cons-free Programming with Immutable Functions

Autoren: Cynthia Kop
Veröffentlicht in: Developments in Implicit Computational complExity: DICE 2017, 2017
Herausgeber: --