Higher-Order Rewriting for Intensional Properties of Programs and Circuits

Informacje na temat projektu

HORIP

Identyfikator umowy o grant: 658162

DOI

10.3030/658162

Projekt został zamknięty

Data podpisania przez KE 23 Marca 2015

Data rozpoczęcia 1 Października 2015

Data zakończenia 30 Września 2017

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 200 194,80

Wkład UE

€ 200 194,80

Koordynowany przez

KOBENHAVNS UNIVERSITET
Denmark

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (3)

Complexity of Conditional Term Rewriting

Autorzy: Cynthia Kop and Aart Middeldorp and Thomas Sternagel
Opublikowane w: Logical Methods in Computer Science (lmcs:3123), Numer 13/1, 2017, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig

Verifying Procedural Programs via Constrained Rewriting Induction

Autorzy: Carsten Fuhs, Cynthia Kop, Naoki Nishida
Opublikowane w: ACM Transactions on Computational Logic, Numer 18/2, 2017, Strona(/y) 1-50, ISSN 1529-3785
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3060143

Complexity Hierarchies and Higher-order Cons-free Term Rewriting

Autorzy: Cynthia Kop and Jakob Grue Simonsen
Opublikowane w: Logical Methods in Computer Science (lmcs:3847; Special Numer for FSCD 2016), Numer 13/3, 2017, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig

Conference proceedings (7)

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

Autorzy: Cynthia Kop, Jakob Grue Simonsen
Opublikowane w: Programming Languages and Systems (Proceedings of ESOP 2016), Numer LNCS 10201, 2017, Strona(/y) 668-695, ISBN 978-3-662-54434-1
Wydawca: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54434-1_25

Complexity Hierarchies and Higher-Order Cons-Free Rewriting

Autorzy: Cynthia Kop and Jakob Grue Simonsen
Opublikowane w: Formal Structures for Computation and Deduction (Proceedings of FSCD 2016, LIPIcs), Numer 52, 2016, Strona(/y) 23:1--23:18, ISBN 978-3-95977-010-1
Wydawca: Dagstuhl
DOI: 10.4230/LIPIcs.FSCD.2016.23

h: A Plank for Higher-order Attribute Contraction Schemes

Autorzy: Cynthia Kop, Kristoffer Rose
Opublikowane w: Higher Order Rewriting: HOR 2016, 2016
Wydawca: --

On First-order Cons-free Term Rewriting and PTIME

Autorzy: Cynthia Kop
Opublikowane w: Developments in Implicit Computational complExity: DICE 2016, 2016
Wydawca: --

Higher-order Cons-free Interpreters

Autorzy: Cynthia Kop, Jakob Grue Simonsen
Opublikowane w: Higher Order Rewriting: HOR 2016, 2016
Wydawca: --

Non-deterministic Characterisations

Autorzy: Cynthia Kop
Opublikowane w: Workshop on Termination: WST 2016, 2016
Wydawca: --

Cons-free Programming with Immutable Functions

Autorzy: Cynthia Kop
Opublikowane w: Developments in Implicit Computational complExity: DICE 2017, 2017
Wydawca: --