| teema: | Formaalsel semantikal baseeruv programmide analüüs ja teisendamine |
|---|---|
| tunnusnumber: | ETF5279 |
| projekti tüüp: | Eesti Teadusfondi grant |
| erialad: |
1.2. Rakendusmatemaatika 2.9. Süsteemitehnika ja infotehnoloogia |
| seisund: | lõppenud |
| asutus: | Tartu Ülikool |
| projekti juht: | Jaanus Pöial |
| kestus: | 01.01.2002 - 31.12.2004 |
| kirjeldus: | Programmeerimiskeeled, nende süntaks, semantika, realiseerimismeetodid ning kompilaatorite konstrueerimine on olnud traditsioonilised valdkonnad, milles Eesti teadlased saavutasid edu juba 1980-ndatel aastatel. Ka selle toetuse taotleja kuulus töörühma, mis keskendus translaatoritele ning keeltele. Kahjuks 1990-ndatel aatatel mitmed töörühmad lagunesid eelkõige majanduslikel põhjustel, neis osalenud teadlased jätkasid individuaalset uurimistööd või asusid tegelema teiste probleemidega. Samas pole teema aktuaalsus aastatega mitte kahanenud vaid pigem kasvanud, sest oluliselt on laienenud arvutite kasutusvaldkond ning tõusnud programmeerimisvahendite tase. Lisandunud on täiesti uued aspektid, mida varem ei uuritud, näit. turvalisus, hajusus, sardsüsteemid jne. Oluline on luua vahendid (nii teoorias kui ka tarkvaras), mis peegeldaksid neid muutusi ja teeksid programmeerimisprotsessi lihtsamaks ning turvalisemaks. Käesoleva projekti peamiseks eesmärgiks on taastada programmeerimiskeelte alase uurimistöö traditsioon (töörühm, kraadiõppurid ning tudengid, rahvusvaheline koostöö) Eestis ning viia see tasemele, millelt saaks taotleda osalemist Euroopa teadusprojektides (suure tõenäosusega koos partneritega Saksamaal). Taotlejad on seisukohal, et globaliseeruvas teaduses on mõtet ennekõike edasi arendada oma tugevaid külgi, mitte killustuda. Konkreetselt on kavas uurida programmide analüüsi, optimiseerimise, verifitseerimise ja teisendamise, samuti turvalisuse probleeme nii kõrgtasemel (eeskätt deklaratiivsetes paradigmades ning programme genereerivates mehhanismides) kui ka madaltasemel (universaalsed vahekeeled ning nende interpretaatorid). Erinevalt varasemast süntaksipõhisest lähenemisest on selles projektis soovitud rohkem keskenduda programmide formaalsele semantikale, mistõttu taotletakse toetust nii tehnika- kui ka täppisteaduste suunalt. Tulemused on kavas publitseerida rahvusvahelistes ajakirjades ning konverentsidel. |
| projektiga seotud isikud | ||||
|---|---|---|---|---|
| nr | nimi | asutus | amet | |
| 1. | Peeter Laud | Saarimaa Ülikool | doktorant | |
| 2. | Härmel Nestra | Tartu Ülikool | doktorant | |
| 3. | Jaanus Pöial | Tartu Ülikool, Matemaatikateadusk. | dotsent | |
| 4. | Tõnu Tamme | Tartu Ülikool | lektor | |
| 5. | Varmo Vene | Tartu Ülikool | dotsent | |