Read-only types and purity for DOT

• Název práce v češtině: Typy pouze pro čtení a čisté metody pro DOT kalkulus
• Název v anglickém jazyce: Read-only types and purity for DOT
• Klíčová slova: typové systémy|závislé typy|DOT kalkulus|čisté metody|proměnlivost referencí
• Klíčová slova anglicky: type systems|dependent types|DOT calculus|reference mutability|purity
• Akademický rok vypsání: 2015/2016
• Typ práce: disertační práce
• Jazyk práce: angličtina
• Ú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í: 03.10.2016
• Datum zadání: 03.10.2016
• Datum potvrzení stud. oddělením: 03.10.2016
• Datum a čas obhajoby: 25.09.2024 15:00
• Datum odevzdání elektronické podoby: 01.07.2024
• Datum odevzdání tištěné podoby: 01.07.2024
• Datum proběhlé obhajoby: 25.09.2024
• Oponenti: prof. Werner Dietl

Zásady pro vypracování

Improving code quality is an important objective of software engineering.
A promising research direction is the development of automated methods and tools that provide results to developers in a timely fashion, on-the-fly while they are editing the source code.
The goal of this work is to design new efficient methods for continuous detection of bugs, suggesting possible repairs, and source code refactoring, which are based on static program analysis and synthesis.
Proposed techniques will support mainstream object-oriented programming languages, and in particular their more advanced features such as concurrency and data containers.

Seznam odborné literatury

1. F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer 1999
2. A.V. Aho, M.S. Lam, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 2nd edition, 2006
3. A. Zeller. Why Programs Fail: A Guide to Systematic Debugging. Morgan Kaufmann, 2nd edition, 2006