Dave's Homepage whileydave.com

Making Whiley Boogie!

whileydave.com·490w

Contracts in the Wild: A Study of Java Programs

whileydave.com·490w

Classless Object Semantics

whileydave.com·490w

Compiling Whiley to FPGAs

whileydave.com·490w

Array Programming in Whiley

whileydave.com·490w

Understanding Effective Unions in Whiley

whileydave.com·493w

Mixfix Function Syntax for Whiley

whileydave.com·496w

Simulating and Visualising a Model Railway

whileydave.com·498w

Program Specification in Practice?

whileydave.com·507w

Flow Typing with Constrained Types

whileydave.com·511w

Reference Lifetimes in Whiley

whileydave.com·521w

Contractive and Uninhabited Types in Whiley

whileydave.com·526w

Lifetime Analysis for Whiley

whileydave.com·542w

Version 0.9.17

whileydave.com·542w

A Space Efficient Algorithm for Detecting Strongly Connected Components

whileydave.com·542w

A Mechanical Soundness Proof for Subtyping over Recursive Types

whileydave.com·542w

Encoding C Strings in Whiley

whileydave.com·549w

Verifying Software with Whiley

whileydave.com·554w

Introductory Lecture on Verification in Whiley

whileydave.com·556w

My ATtiny85 Games Console

whileydave.com·590w

Log in to enable infinite scrolling