Articles

Illustrating Compile-Time Verification in Whiley

With the latest release of Whiley, compile-time checking of constraints can be enabled with a command-line switch.  So, I thought a few examples of this were in order.

Example: Absolute of an Integer

Consider this simple program:

define nat as int where $ >= 0 nat abs(int x): return x

This defines a type . . . → Read More: Illustrating Compile-Time Verification in Whiley

Whiley v0.3.15 Released!

Finally the next release of Whiley is upon us!  There are a few useful improvements in this release.  In particular, compile-time verification of constraints is again functioning and can be enabled with a switch.

ChangeLog Improved performance of the Whiley Build System.  In particular, this no longer scans all files reachable from the current . . . → Read More: Whiley v0.3.15 Released!

Variable Scoping for Try-Catch Blocks in Whiley

A friend of mine was talking about how variable scoping for try-catch blocks in Java really frustrated him sometimes.  Specifically, the problem was related to variables declared inside try blocks not being visible in their catch handlers. The example would go something like this:

int val; try { int tmp = f(); // cannot . . . → Read More: Variable Scoping for Try-Catch Blocks in Whiley