Rozšíření běžných programovacích jazyků pro zjednodušení vývoje spolehlivých softwarových systémů
Thesis title in Czech: | Rozšíření běžných programovacích jazyků pro zjednodušení vývoje spolehlivých softwarových systémů |
---|---|
Thesis title in English: | Extending Mainstream Programming Languages to Simplify Construction of Reliable Software Systems |
English key words: | programming languages, static analysis, dynamic analysis, synthesis |
Academic year of topic announcement: | 2017/2018 |
Thesis type: | dissertation |
Thesis language: | |
Department: | Department of Distributed and Dependable Systems (32-KDSS) |
Supervisor: | doc. RNDr. Pavel Parízek, Ph.D. |
Author: | hidden - assigned and confirmed by the Study Dept. |
Date of registration: | 27.09.2018 |
Date of assignment: | 27.09.2018 |
Confirmed by Study dept. on: | 29.10.2018 |
Guidelines |
Many problems with the construction of reliable software systems are partially caused by various limitations of current programming languages and related tools.
This includes, for example, insufficient level of abstraction, complex semantics, and little support for program verification built into mainstream languages. We plan to address some of these limitations through the development of language extensions, techniques of automated program synthesis, and tools based on static and dynamic analysis - targeting in particular concurrency and security. |
References |
B. Pierce. Types and Programming Languages. MIT Press, 2002
F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999 A.V. Aho, M.S. Lam, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 2nd edition, 2006 |