| teema: | Programmide staatiline analüüs |
|---|---|
| tunnusnumber: | ETF6713 |
| projekti tüüp: | Eesti Teadusfondi grant |
| erialad: |
1.2. Rakendusmatemaatika 2.9. Süsteemitehnika ja infotehnoloogia |
| seisund: | käimasolev |
| asutus: | TÜ Matemaatika-informaatikateaduskond |
| projekti juht: | Varmo Vene |
| kestus: | 01.01.2006 - 31.12.2009 |
| kirjeldus: | Projekti valdkonnaks on formaalsemantikad ning nende rakendamine programmide staatilisel analüüsil ja teisendamisel. Põhieesmärkideks on välja töötada uusi meetodeid programmide analüüsiks, teisendamiseks ja optimiseerimiseks, samuti korrektsuse kontrolliks ning ressursivajaduste hindamiseks, uurida erinevate meetodite kombineerimist, koosmõjusid ning rakendada saadud tulemusi, s.h. turvalise infovoo tagamiseks programmikeeltes. |
| projektiga seotud isikud | ||||
|---|---|---|---|---|
| nr | nimi | asutus | amet | |
| 1. | Peeter Laud | |||
| 2. | Härmel Nestra | |||
| 3. | Jaanus Pöial | |||
| 4. | Varmo Vene | Tartu Ülikool | ||