Os mais recentes avanços nas linguagens de programação estão a dotar os utilizadores de mecanismos que lhes permitem estruturar e desenvolver os seus programas. O desenvolvimento de sistemas tipo e modulares, modelos abstratos, de desenvolvimento de programação genérica, de apoio ao domínio de linguagens específicas embebidas, motores de execução condicionados pela procura e modelos incrementais de computação, estão a mudar a forma como desenvolvemos os nossos programas. Além disso, o desenvolvimento de técnicas de reorganização, teste e divisão estão a alterar a forma como construímos, transformamos e mantemos o nosso software. Surpreendentemente, com exceção do trabalho pioneiro de Erwig e Burnett [EB02, AE04, EACK05], pouco trabalho foi feito pela comunidade de linguagens de programação sobre os fundamentos das folhas de cálculo. Como resultado, nenhum destes desenvolvimentos foi até agora incorporado em folhas de cálculo.

As folhas de cálculo ainda não suportam programação abstrata, encapsulada ou estruturada. Por essa razão, é seguro dizer que elas poderiam beneficiar de todos os recentes desenvolvimentos ao nível das linguagens de programação, mais ainda do que as linguagens de programação em si.

O objetivo geral deste projeto era estudar e desenvolver técnicas que permitissem incorporar estes recentes desenvolvimentos nas folhas de cálculo. Para isso, foram estudados novos sistemas tipo e modulares, assim como modelos formais para folhas de cálculo.

Data Início: Maio 2010

Equipa: João Alexandre Saraiva

Website do Projeto: SSaaPP