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

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

10:30 - 12:00
Systems OO LanguagesNOOL at Ellwood 2
Chair(s): James Noble Victoria University of Wellington
10:30
30m
Talk
Beyond Bash: Shell scripting in a statically-typed, object-oriented language
NOOL
11:00
30m
Talk
Rust: Idioms and Design Patterns
NOOL
Nicholas Cameron Mozilla Research
11:30
30m
Talk
Whiley: a Better C?
NOOL
David J. Pearce Victoria University of Wellington
Link to publication