Program composition and efficient computations
4РП — Обучение и мобилност на изследователи
- Период
- 1996-07-22 → 1997-07-21
- Финансиране от ЕС
- —
- Участници
- 2
- Схема
- RGI
Линиите свързват координатора с партньорите. За проекти отпреди 2014 г. CORDIS не винаги дава точни координати. Тези точки са на ниво град или държава.
Накратко на български
Методи за съставяне на програми чрез повторна употреба на модули и нов начин за изчисления, базиран на логически идентичности. Тези подходи помагат за доказване на коректността на софтуера и повишаване на скоростта на изчислителните системи.
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Цел на проекта
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.
Оригинален текст от CORDIS (на английски).
Участници
- UNIVERSIDADE NOVA DE LISBOA · MONTE DA CAPARICAКоординаторПортугалия
- Not availableНиво градШвеция
Връзки
Данни: CORDIS, © Европейски съюз