|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
The Whiley Programming Language: Design & Implementation
If you have a question about this talk, please contact Dominic Orchard.
Whiley is a new programming language being developed at Victoria University of Wellington, New Zealand (see whiley.org). Whiley is designed specifically to simplify program verification. This goal has constrained the language in many ways, some of which will be expected whilst others are less apparent. The language includes first-class pre- and post-conditions, and the ultimate aim is to check them at compile time. Such constraints must be pure and may range over first-class data-types (sets, lists, etc) with value semantics, and also functions that are explicitly declared pure. To simplify verification, arithmetic operates over unbounded integers and rationals. For flexibility, a flow-sensitive type system with structural subtyping is employed.
About the Presenter
David graduated from Imperial College London in 2005, and took 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. Since 2009, he has been developing the Whiley Programming Language (whiley.org) which is designed specifically to simplify program verification. David has previously interned at Bell Labs, New Jersey, where he worked on compilers for FPG As; and also at IBM Hursely, UK, where he worked with the AspectJ development team on profiling systems.
This talk is part of the Computer Laboratory Programming Research Group Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsLees Knowles Lectures : Total War : The Soviet Union and the Eastern Front in a Comparative Framework Peptide Mini-Symposium Speech Seminars
Other talksNew roles for RIG-I family proteins in innate immunity Fancy some PIMMS? Or want to stay SLIMM? Memory theories worthy of their acronyms? Planetesimals formation in Rossby vortices Display, piety and dedication: the re-use of coins in later medieval England Energy cascades in rotating and stratified turbulence PLACE Book Launch