Dynamic slicing of Reaction Systems based on assertions and monitors (PADL 2023 - : The 25th International Symposium on Practical Aspects of Declarative Languages)

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Who

Linda Brodo, Roberto Bruni, Moreno Falaschi

Track

PADL 2023

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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

Tue 17 Jan 2023 16:00 - 16:30 at The Loft - Analysis and Symbolic Methods Chair(s): Naoki Nishida

Linda Brodo

Università di Sassari

Italy

Roberto Bruni

University of Pisa

Italy

Moreno Falaschi

Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche, University of Siena

Italy

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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

Tue 17 Jan
Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30	Analysis and Symbolic MethodsPADL at The Loft Chair(s): Naoki Nishida Nagoya University

16:00 30m Talk		Dynamic slicing of Reaction Systems based on assertions and monitors PADL Linda Brodo Università di Sassari, Roberto Bruni University of Pisa, Moreno Falaschi Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche, University of Siena
16:30 30m Talk		Linear Algebraic Abduction with Partial Evaluation PADL Tuan Nguyen National Institute of Informatics, Katsumi Inoue NII, Chiaki Sakama Wakayama University DOI File Attached