Higher-Order Rewriting for Intensional Properties of Programs and Circuits

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

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
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

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
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
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

On First-order Cons-free Term Rewriting and PTIME

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

Higher-order Cons-free Interpreters

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

Non-deterministic Characterisations

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

Cons-free Programming with Immutable Functions

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