Calebe: uma máquina virtual paralela com suporte a linguagens multiparadigma

Abstract

Linguagens Multiparadigma têm sido estudadas como plataforma alternativa para o desenvolvimento de software, com a proposta de unir vantagens e solucionar deficiências encontradas em cada um dos paradigmas básicos de programação. Um dos problemas encontrados no seu desenvolvimento é estabelecer uma semântica que permita a unificação dos paradigmas. Uma abordagem é a utilização de construções com semântica em cada um dos paradigmas unificados, e mecanismos de integração. Outra abordagem é a utilização de uma unidade única de abstração, que suporte o estilo de programação de cada paradigma. A máquina virtual Calebe é baseada numa proposta que busca unir as vantagens de ambas as técnicas de implementação de linguagens. Para isto, possui um conjunto de operadores rico o bastante para prover modos diferenciados de computação, e integração entre esses modos numa base semântica comum. Além disso, existe suporte para concorrência e distribuição. A máquina virtual Calebe foi pensada como um middleware - um sistema intermediário entre a linguagem multiparadigma e o sistema distribuído onde esta é executada. Assim, pode-se escrever um compilador da linguagem multiparadigma para Calebe, a qual terá a mesma semântica em qualquer sistema, com a vantagem de que o ambiente da máquina virtual Calebe e seus operadores foram projetados para permitir a execução paralela, e o compartilhamento de recursos.