ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 11:00 - 11:30 at S4 (HCVS) - II Chair(s): Mattias Ulbrich
Paper (main.pdf)102KiB

Conference Day
Sun 7 Apr

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

11:00 - 12:00
IIHCVS at S4 (HCVS)
Chair(s): Mattias UlbrichKarlsruhe Institute of Technology
11:00
30m
Talk
Challenges in the specialisation of smart Horn clause interpreters
HCVS
John P. GallagherRoskilde University
File Attached
11:30
30m
Full-paper
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
HCVS
Emanuele De AngelisUniversity of Chieti-Pescara, Fabio FioravantiUniversity of Chieti-Pescara, Alberto PettorossiUniversity of Rome Tor Vergata, Italy, Maurizio ProiettiCNR-IASI
File Attached