| title: | Static Analysis of Programs |
|---|---|
| reg no: | ETF6713 |
| project type: | Estonian Science Foundation research grant |
| subject: |
1.2. Applied Mathematics 2.9. System Engineering and Computer Technology |
| status: | accepted |
| institution: | TU Faculty of Mathematics |
| head of project: | Varmo Vene |
| duration: | 01.01.2006 - 31.12.2009 |
| description: | The subject area of this project is the semantics of programming languages and its application for static program analysis and program transformation. The main goals are to develop new analyses and transformations for program optimization but also for validation and resource prediction, to study the combinations of multiple analyses and transformations which lead to mutually beneficial interactions, to study the semantics and static analyses for secure information flow in programming languages. |
| project group | ||||
|---|---|---|---|---|
| no | name | institution | position | |
| 1. | Peeter Laud | |||
| 2. | Härmel Nestra | |||
| 3. | Jaanus Pöial | |||
| 4. | Varmo Vene | Tartu Ülikool | ||