| title: | Semantic Based Program Analysis and Transformation |
|---|---|
| reg no: | ETF5279 |
| project type: | Estonian Science Foundation research grant |
| subject: |
1.2. Applied Mathematics 2.9. System Engineering and Computer Technology |
| status: | completed |
| institution: | University of Tartu |
| head of project: | Jaanus Pöial |
| duration: | 01.01.2002 - 31.12.2004 |
| description: | Programming languages, their syntax, semantics, implementation techniques and compiler construction have been strong and successful research areas for Estonian computer scientists. The tradition goes back into 1970/80s, when there were several internationally recognized research groups both in Tallinn and Tartu. The applicant was an active member of one research team that concentrated on compiler construction and stack based languages. Unfortunately, many of these research groups finished their work on early 1990s due to economical reasons and researchers either left academia, switched to other areas or carried on individually. At the same time importance of the topic has even increased due to new application areas and higher level of software tools. Completely new aspects are investigated like security matters, distributed and embedded systems, etc. It is very important to have tools (both theory and software) that reflect these changes and make programming process easier and safer. The current grant application has a primary goal to restore the tradition in research of programming languages in Estonia (research team, participation of students, both graduate and undergraduate, international cooperation) and take it to the level of European projects (most probably in cooperation with partners from Germany). In the context of globalization applicants consider it reasonable to concentrate on strong sides of existing research staff and break the isolation between individual researchers. Research agenda includes topics of program analysis, optimization, verification and transformation, also problems of security, both on higher level (declarative paradigms and tools for program generation) and lower level (intermediate languages and their interpreters). Opposite to earlier syntax based approaches this project focuses more on formal semantics. For this reason the work has roots both in engineering and in exact sciences. All the results are planned to publish in international journals and conferences. |
| project group | ||||
|---|---|---|---|---|
| no | name | institution | position | |
| 1. | Peeter Laud | Univ. of Saarland | PhD student | |
| 2. | Härmel Nestra | Univ. of Tartu | PhD student | |
| 3. | Jaanus Pöial | University of Tartu, Faculty of Mathematics | docent | |
| 4. | Tõnu Tamme | Univ. of Tartu | lecturer | |
| 5. | Varmo Vene | Univ. of Tartu | docent | |