ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 14:30 - 15:00 at S3 - III

We present a compositional framework to model check higher-order programs with free variables of arbitrary order. Our framework extends traditional symbolic execution techniques with operational game semantics to model external components and thus check open terms. The goal of this framework is to check a term, e.g.\ a library, independent of its dependencies. We call our technique a framework considering the ability of game semantics to model external components regardless of the language targeted by the symbolic execution.

Sat 6 Apr

13:30 - 15:30: GaLoP - III at S3
galop-2019-papers13:30 - 14:30
Nathanaël FijalkowCNRS, LaBRI, and Alan Turing Institute
galop-2019-papers14:30 - 15:00
Yu-Yang LinQueen Mary University of London, Nikos TzevelekosQueen Mary University of London
galop-2019-papers15:00 - 15:30
Timo LangVienna University of Technology, Chris FermüllerVienna University of Technology, Elaine PimentelFederal University of Rio Grande do Norte, Brazil, Carlos OlarteFederal University of Rio Grande do Norte, Brazil