Last month, the Wellington Java User Group was kind enough to invite me to give a talk on Whiley. The talk is a general introduction to Whiley, including the syntax, some issues related to implementation and inter-operation with Java. The talk was video and, finally, after some faffing around I’ve uploaded it onto YouTube . . . → Read More: Whiley Talk at Wellington JUG (VIDEO)
|
|||||
|
Recently, I’ve been working on a variety of sequential and concurrent micro benchmarks for testing Whiley’s performance. An interesting and relatively simple example, is the parallel sum. The idea is to sum a large list of integers whilst performing as much work as possible in parallel. To implement the parallel sum, I divide the . . . → Read More: Parallel Sum in Whiley Recently, I’ve been doing some work on the syntax for Actors in Whiley. After some deliberation, I’ve decided to go with explicit syntax for both synchronous and asynchronous message sends. This means any message can be sent either synchronously or asynchronously. Obviously, sending asynchronously is preferable. However, in cases where a return value is . . . → Read More: Actor Syntax in Whiley With the recent addition of for and while loops to Whiley, I’ve been able to fiddle around with loop invariants and already I noticed a few things. Consider this little program: // The current parser state define state as { string input, int pos } where pos >= 0 && pos <= |input| state . . . → Read More: Thoughts on Loop Invariants Finally, in the upcoming release of Whiley, I have added support for both while and for loops — which is about time. Here’s an example: define nat as int where $ >= 0 nat sum([nat] list): r=0 i=0 while i < |list| where r >= 0: r = r + list[i] i = i . . . → Read More: Whiley gets a While Loop! So, here’s the first Whiley programming example. Obviously, it’s pretty simple as Whiley is not quite ready for big code just yet. The idea is to compute the sum of a positive list which, of course, will give you a positive number. We want Whiley to realise this and correct us if there’s a . . . → Read More: Example: Sum Over a Positive List |
 |
||||
|
Copyright © 2012 David J. Pearce - All Rights Reserved 57 queries. 0.626 seconds. |
|||||
Popular Posts