Development of an Object-Oriented Type System Using Design Pattern Methodology
Doctoral Thesis
Ruslans Batdalovs, Riga Technical University, Latvia
Description
It is known that the complexity of design patterns-based solutions is often higher than necessary to solve the problem. One of the possible reasons for that is the insufficient expressiveness of programming languages. The Doctoral Thesis proposes to increase expressiveness by generalising programming languages’ typical constructs. The proposed generalised data composition and computation constructs are described as patterns and formalised using a type-theoretical toolset. The potential effect of the proposed changes is analysed using the example of an emulator of the MIX imaginary computer.
About the author
Additional information
| Publication type | |
|---|---|
| Defence date | 07.10.2024. |
| Format | |
| Pages | 153 |
| Publication date | |
| Published online | |
| Publication language | |
| Publisher | RTU Press |
| Country of Publication | Latvia |
