Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tue 15 Jan 2019 14:30 - 15:00 at Sala IV - PADL Session 5

Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

14:00 - 15:30: PADL Session 5PADL at Sala IV
14:00 - 14:30
Talk
Composing Syntactical Constructs to Create Domain-Specific Languages
PADL
David BromanKTH Royal Institute of Technology, Viktor PalmkvistKTH Royal Institute of Technology
DOI Media Attached
14:30 - 15:00
Talk
Proof Carrying Plans
PADL
Christopher SchwaabUniversity of St Andrews, Ekaterina KomendantskayaHeriot-Watt University, UK, Alasdair Hill, Frantisek Farka, Ron Petrick, Joe Wells, Kevin HammondUniversity of St. Andrews, UK
15:00 - 15:30
Talk
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers
PADL
Paul TarauUniversity of North Texas