Dave's Homepage whileydave.com

Compiling Whiley for WebAssembly

whileydave.com·385w

Dependency Versioning in the Wild

whileydave.com·385w

Efficient compilation of a verification-friendly programming language

whileydave.com·385w

Compiling Whiley for the Ethereum Virtial Machine

whileydave.com·385w

AtmoVis: Visualization of Air Quality Data

whileydave.com·385w

Whiley Memory Analyser

whileydave.com·394w

Verifying leftPad() in Whiley

whileydave.com·421w

QuickCheck for Whiley

whileydave.com·437w

Towards Compilation of an Imperative Language for FPGAs

whileydave.com·437w

An Introduction to Software Verification with Whiley

whileydave.com·437w

On Declarative Rewriting for Sound and Complete Union, Intersection and Negation Types

whileydave.com·437w

Version 0.9.18

whileydave.com·437w

Inferring invariants from postconditions in Whiley

whileydave.com·437w

Rewriting for Sound and Complete Union, Intersection and Negation Types

whileydave.com·437w

A Symmetry Metric for Graphs and Line Diagrams

whileydave.com·437w

Verifying Bubble Sort in Whiley

whileydave.com·439w

Whiley Demo @ Oracle Labs!!

whileydave.com·456w

On the Internet and Object-Oriented Programming

whileydave.com·465w

Property Syntax in Whiley

whileydave.com·477w

On Memory Management and Rust

whileydave.com·483w

Log in to enable infinite scrolling