(Invited Talk) Cons-free Rewriting (DICE-FOPARA 2019 - Workshop on Developments in Implicit Computational complExity & Foundational & Practical Aspects of Resource Analysis)

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Track

DICE-FOPARA 2019

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 7 Apr 2019 11:00 - 12:00 at S11 - VI Chair(s): Paulin Jacobé De Naurois

Abstract

I will discuss Jones’ results which evaluate the expressiveness of higher-order data in the context of term rewriting. In this talk, I will present the original result, and then present the peculiarities that happen when non-deterministic evaluation is admitted.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:00	VIDICE-FOPARA at S11 Chair(s): Paulin Jacobé De Naurois

11:00 60m Talk		(Invited Talk) Cons-free Rewriting DICE-FOPARA Cynthia Kop Radboud University Nijmegen

(Invited Talk) Cons-free Rewriting

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Cynthia Kop

Radboud University Nijmegen

ETAPS 2019

Co-hosted Conferences

Workshops

(Invited Talk) Cons-free Rewriting

Program Display Configuration

Program Display Configuration

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Cynthia Kop

Radboud University Nijmegen

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change