November: Whiley

Whiley is a new programming language being developed at Victoria University of Wellington. Whiley is unusual in that it includes first-class pre- and post-conditions, and aims to check them at compile time. Whiley has a number of other interesting features, including flow-sensitive and structural typing. This gives Whiley the look and feel of a dynamically typed language, whilst retaining all the advantages of static typing. Whiley compiles to the JVM, is fully inter-operable with Java and can be downloaded from http://whiley.org.

In this talk, David will introduce Whiley and explore its interesting features. He will also look at the challenges involved in developing a modern programming language, from testing to the standard library to Eclipse plugins.

Speaker: David Pearce

David graduated from Imperial College London in 2005, and has since taken up a lecturer position at Victoria University of Wellington, NZ. David's thesis was on efficient algorithms for pointer analysis of C, and his techniques have since been incorporated into GCC. His interests are in programming languages, compilers and static analysis. David is particularly interested in tools and languages that eliminate software errors. David has previously interned at Bell Labs, New Jersey, where he worked on compilers for FPGAs; and also at IBM Hursely, UK, where he worked with the AspectJ development team on profiling systems.

When

Wednesday, November 16: 5:00 for 5:15 - 6:30pm

Where

This meeting is hosted by:
Rutherford House Lecture Theatre 3 (RHLT3)
School of Engineering and Computer Science, Victoria University of Wellington
Pipitea Campus
Corner of Bunny Street and Lambton Quay
Wellington
http://www.victoria.ac.nz/home/about/maps/campus_pipitea.aspx

The Java User Group thanks our host!

Date:
Wednesday, 16th.
November, 2011

Time:
5.00pm for 5:15 - 6:30pm

Venue:
This meeting is hosted by:
Rutherford House Lecture Theatre 3 (RHLT3)
School of Engineering and Computer Science, Victoria University of Wellington
Pipitea Campus
Corner of Bunny Street and Lambton Quay
Wellington
http://www.victoria.ac.nz/home/about/maps/campus_pipitea.aspx