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

Displayed time zone: Eastern Time (US & Canada) change

15:30 - 17:00
Tools II and ClosingSLE at Grand Station 2
Chair(s): Anya Helene Bagge University of Bergen, Norway
15:30
30m
Talk
The Whiley Rewrite Language (WyRL)
SLE
David J. Pearce Victoria University of Wellington
DOI
16:00
30m
Talk
Parsing Expression Grammars Made Practical
SLE
Nicolas Laurent Université Catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium
DOI Pre-print
16:30
30m
Day closing
Closing
SLE