Higher-Order Rewriting for Intensional Properties of Programs and Circuits

Información del proyecto

HORIP

Identificador del acuerdo de subvención: 658162

DOI

10.3030/658162

Proyecto cerrado

Fecha de la firma de la CE 23 Marzo 2015

Fecha de inicio 1 Octubre 2015

Fecha de finalización 30 Septiembre 2017

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 200 194,80

Aportación de la UE

€ 200 194,80

Coordinado por

KOBENHAVNS UNIVERSITET
Denmark

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (3)

Complexity of Conditional Term Rewriting

Autores: Cynthia Kop and Aart Middeldorp and Thomas Sternagel
Publicado en: Logical Methods in Computer Science (lmcs:3123), Edición 13/1, 2017, ISSN 1860-5974
Editor: Technischen Universitat Braunschweig

Verifying Procedural Programs via Constrained Rewriting Induction

Autores: Carsten Fuhs, Cynthia Kop, Naoki Nishida
Publicado en: ACM Transactions on Computational Logic, Edición 18/2, 2017, Página(s) 1-50, ISSN 1529-3785
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3060143

Complexity Hierarchies and Higher-order Cons-free Term Rewriting

Autores: Cynthia Kop and Jakob Grue Simonsen
Publicado en: Logical Methods in Computer Science (lmcs:3847; Special Edición for FSCD 2016), Edición 13/3, 2017, ISSN 1860-5974
Editor: Technischen Universitat Braunschweig

Conference proceedings (7)

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

Autores: Cynthia Kop, Jakob Grue Simonsen
Publicado en: Programming Languages and Systems (Proceedings of ESOP 2016), Edición LNCS 10201, 2017, Página(s) 668-695, ISBN 978-3-662-54434-1
Editor: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54434-1_25

Complexity Hierarchies and Higher-Order Cons-Free Rewriting

Autores: Cynthia Kop and Jakob Grue Simonsen
Publicado en: Formal Structures for Computation and Deduction (Proceedings of FSCD 2016, LIPIcs), Edición 52, 2016, Página(s) 23:1--23:18, ISBN 978-3-95977-010-1
Editor: Dagstuhl
DOI: 10.4230/LIPIcs.FSCD.2016.23

h: A Plank for Higher-order Attribute Contraction Schemes

Autores: Cynthia Kop, Kristoffer Rose
Publicado en: Higher Order Rewriting: HOR 2016, 2016
Editor: --

On First-order Cons-free Term Rewriting and PTIME

Autores: Cynthia Kop
Publicado en: Developments in Implicit Computational complExity: DICE 2016, 2016
Editor: --

Higher-order Cons-free Interpreters

Autores: Cynthia Kop, Jakob Grue Simonsen
Publicado en: Higher Order Rewriting: HOR 2016, 2016
Editor: --

Non-deterministic Characterisations

Autores: Cynthia Kop
Publicado en: Workshop on Termination: WST 2016, 2016
Editor: --

Cons-free Programming with Immutable Functions

Autores: Cynthia Kop
Publicado en: Developments in Implicit Computational complExity: DICE 2017, 2017
Editor: --