Rozšíření běžných programovacích jazyků pro zjednodušení vývoje spolehlivých softwarových systémů
| Název práce v češtině: | Rozšíření běžných programovacích jazyků pro zjednodušení vývoje spolehlivých softwarových systémů |
|---|---|
| Název v anglickém jazyce: | Extending Mainstream Programming Languages to Simplify Construction of Reliable Software Systems |
| Klíčová slova anglicky: | programming languages, static analysis, dynamic analysis, synthesis |
| Akademický rok vypsání: | 2017/2018 |
| Typ práce: | disertační práce |
| Jazyk práce: | |
| Ústav: | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
| Vedoucí / školitel: | doc. RNDr. Pavel Parízek, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 27.09.2018 |
| Datum zadání: | 27.09.2018 |
| Datum potvrzení stud. oddělením: | 29.10.2018 |
| Zásady pro vypracování |
| 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. |
| Seznam odborné literatury |
| 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 |