Program composition and efficient computations

Lines connect the coordinator with its partners. CORDIS does not always give exact coordinates for projects before 2014. These points are placed at city or country level.

Project objective

First, a method for constructing a program P. is to reuse some modules Pi, and write some delta yourself, but it remains to show P is correct. Steadfastness implies correctness, and steadfastness follows if the completion of P is proved. This way to show correctness is new and practical. Second, a new computation method called reform is introduced. It only computes on identities in an equality theory. This reduces a computation to a bare minimum. The soundness and completeness results are also new. Reform is a promising for computational technologies. Results expected: A high competence on reform logic and composition of steadfast programs. A test implementation of a reform system, distributed and parallel. It should compete successfully with any other system on speed. The internationally high standing of the Departamento de Informatica, Universidade Nova de Lisboa increases the likelihood of success. EC industrial contacts for exploitation should be established.

Original text from CORDIS.

Participants

• UNIVERSIDADE NOVA DE LISBOA · MONTE DA CAPARICACoordinatorPortugal
• Not availableCity levelSweden

Links

• View on CORDIS