CoRTA’2007 Compilers, Related Technologies and Applications Covilh˜a, Portugal, July 6, 2007 Proceedings Pedro Rangel Henriques Sim˜ao Melo de Sousa Vitor Santos Editors