W++ Tutorial 

CycleFree Software is all about making software easier to write, easier to test, and easier to assure that it is correct.  W++ is the first language created for the construction of CycleFree programs.  This tutorial takes us through the various W++ programming language mechanisms.  

• CycleFree Software Requirements

• Introducing W++

• W++ Programming Rules

• Using Events

• Using Event Routines

• Linking Events  

• The Message Box Example

• The Wait Statement

• Dining Philosophers and the Hold Statement