Callas

The Callas Programming Environment for Wireless Sensor Networks is composed of a programming language (compiler and virtual machine), development and simulation tools (integrated as an Eclipse plugin and a Visual Sense application). The Callas project aims at providing type-safe and demonstrably correct programming and execution of sensor network applications.