Tue 27 Oct 2015 11:30 - 12:00 at Ellwood 2 - Systems OO Languages Chair(s): James Noble

An ongoing challenge for computer science is the development of a tool which automatically verifies programs meet their specifications, and are free from runtime errors such as divide-by-zero, array out-of-bounds and null dereferences. We have been developing a programming language from scratch to simplify verification, called Whiley, and an accompanying verifying compiler. Like other modern programming languages (e.g. Go, Rust) Whiley eschews ideas from object orientation and is perhaps most similar in style to C. In this paper, we illustrate a short example illustrating how C strings can be encoded in Whiley, and then safely reasoned about.

Tue 27 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

10:30 - 12:00: NOOL - Systems OO Languages at Ellwood 2
Chair(s): James NobleVictoria University of Wellington
nool201510:30 - 11:00
nool201511:00 - 11:30
Nicholas CameronMozilla Research
nool201511:30 - 12:00
David PearceVictoria University of Wellington
Link to publication