Tue 27 Oct 2015 15:30 - 16:00 at Grand Station 2 - Tools II and Closing Chair(s): Anya Helene Bagge

The Whiley Rewrite Language (WyRL) is a standalone tool providing a domain-specific declarative rewrite language and code generator. The tool is currently used to generate a critical component of the Whiley verifying compiler, namely the automated theorem prover. The tool automatically generates Java source code from a given rule set. The runtime library provides support for different heuristics to control aspects of the generated system, such as the order in which rewrite rules are applied. Novel aspects of WyRL include support for true union types and the ability to work with cyclic terms.

Tue 27 Oct

15:30 - 17:00: SLE - Tools II and Closing at Grand Station 2
Chair(s): Anya Helene BaggeUniversity of Bergen, Norway
sle201515:30 - 16:00
David PearceVictoria University of Wellington
sle201516:00 - 16:30
Nicolas LaurentUniversité Catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium
DOI Pre-print
sle201516:30 - 17:00
Day closing