Objektorientēto tipu sistēmas izstrāde, lietojot projektēšanas šablonu metodoloģiju

Summary of Doctoral Thesis

Ruslans Batdalovs, Riga Technical University, Latvia

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.

Additional information

Publication type

DOI

https://doi.org/10.7250/9789934371103

Defence date

07.10.2024.

Format

ISBN (pdf)

Pages

44

Publication date

Published online

Publication language

Publisher

RTU Press

Country of Publication

Latvia