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

Tue 15 Jan

Displayed time zone: Belfast change

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