Read-only types and purity for DOT

• Thesis title in Czech: Typy pouze pro čtení a čisté metody pro DOT kalkulus
• Thesis title in English: Read-only types and purity for DOT
• Key words: typové systémy|závislé typy|DOT kalkulus|čisté metody|proměnlivost referencí
• English key words: type systems|dependent types|DOT calculus|reference mutability|purity
• Academic year of topic announcement: 2015/2016
• Thesis type: dissertation
• Thesis language: angličtina
• 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: 03.10.2016
• Date of assignment: 03.10.2016
• Confirmed by Study dept. on: 03.10.2016
• Date and time of defence: 25.09.2024 15:00
• Date of electronic submission: 01.07.2024
• Date of submission of printed version: 01.07.2024
• Date of proceeded defence: 25.09.2024
• Opponents: prof. Werner Dietl

Guidelines

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.

References

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