SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Tue 24 Oct 2023 14:00 - 14:35 at Room VII - Session VI Chair(s): Juliana Bowles

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