Macroprogramação para Redes de Sensores Sem Fios
O principal objetivo deste projeto era obter uma linguagem de programação de alto nível para redes de sensores, que fosse type-safe e suportada por um sistema de run-time que comprovadamente preserva a semântica da língua.