Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation (LOPSTR 2023) - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

John P. Gallagher, Manuel Hermenegildo, José Morales, Pedro López-García

Track

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

When

Tue 24 Oct 2023 14:35 - 14:55 at Room VII - Session VI Chair(s): Juliana Bowles

John P. Gallagher

Roskilde University

Manuel Hermenegildo

Technical University of Madrid (UPM) and IMDEA Software Institute

Spain

José Morales

IMDEA Software Institute

Spain

Pedro López-García

IMDEA Software Institute

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

Session Program

Tue 24 Oct
Displayed time zone: Lisbon change

	14:00 - 15:30	Session VILOPSTR at Room VII Chair(s): Juliana Bowles University of St Andrews, St Andrews, UK

	14:00 35m Research paper		Constrained Horn Clauses Satisfiability via Catamorphic Abstractions LOPSTR Emanuele De Angelis CNR-IASI, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI
	14:35 20m Short-paper		Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation LOPSTR John P. Gallagher Roskilde University, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute, José Morales IMDEA Software Institute, Pedro López-García IMDEA Software Institute
	14:55 10m Day closing		Closing and Adjourn LOPSTR