Pilastra II - Linguagem Linguagem - Limbo Visando sistemas pequenos e distribuídos Suporte a Programação modular Checagem de tipagem rígida durante tempo de compilação e execução Coleta de lixo automática Tipos de dados abstratos Concorrência IPC Conceito de canais Completamente transparente Compilação em instruções "byte-code" para o Dis