Higher-Order Rewriting for Intensional Properties of Programs and Circuits

Project Information

HORIP

Grant agreement ID: 658162

DOI

10.3030/658162

Project closed

EC signature date 23 March 2015

Start date 1 October 2015

End date 30 September 2017

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 200 194,80

EU contribution

€ 200 194,80

Coordinated by

KOBENHAVNS UNIVERSITET
Denmark

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (3)

Complexity of Conditional Term Rewriting

Author(s): Cynthia Kop and Aart Middeldorp and Thomas Sternagel
Published in: Logical Methods in Computer Science (lmcs:3123), Issue 13/1, 2017, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig

Verifying Procedural Programs via Constrained Rewriting Induction

Author(s): Carsten Fuhs, Cynthia Kop, Naoki Nishida
Published in: ACM Transactions on Computational Logic, Issue 18/2, 2017, Page(s) 1-50, ISSN 1529-3785
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3060143

Complexity Hierarchies and Higher-order Cons-free Term Rewriting

Author(s): Cynthia Kop and Jakob Grue Simonsen
Published in: Logical Methods in Computer Science (lmcs:3847; Special Issue for FSCD 2016), Issue 13/3, 2017, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig

Conference proceedings (7)

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

Author(s): Cynthia Kop, Jakob Grue Simonsen
Published in: Programming Languages and Systems (Proceedings of ESOP 2016), Issue LNCS 10201, 2017, Page(s) 668-695, ISBN 978-3-662-54434-1
Publisher: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54434-1_25

Complexity Hierarchies and Higher-Order Cons-Free Rewriting

Author(s): Cynthia Kop and Jakob Grue Simonsen
Published in: Formal Structures for Computation and Deduction (Proceedings of FSCD 2016, LIPIcs), Issue 52, 2016, Page(s) 23:1--23:18, ISBN 978-3-95977-010-1
Publisher: Dagstuhl
DOI: 10.4230/LIPIcs.FSCD.2016.23

h: A Plank for Higher-order Attribute Contraction Schemes

Author(s): Cynthia Kop, Kristoffer Rose
Published in: Higher Order Rewriting: HOR 2016, 2016
Publisher: --

On First-order Cons-free Term Rewriting and PTIME

Author(s): Cynthia Kop
Published in: Developments in Implicit Computational complExity: DICE 2016, 2016
Publisher: --

Higher-order Cons-free Interpreters

Author(s): Cynthia Kop, Jakob Grue Simonsen
Published in: Higher Order Rewriting: HOR 2016, 2016
Publisher: --

Non-deterministic Characterisations

Author(s): Cynthia Kop
Published in: Workshop on Termination: WST 2016, 2016
Publisher: --

Cons-free Programming with Immutable Functions

Author(s): Cynthia Kop
Published in: Developments in Implicit Computational complExity: DICE 2017, 2017
Publisher: --