Development of an Object-Oriented Type System Using Design Pattern Methodology
Promocijas darbs
Ruslans Batdalovs, Rīgas Tehniskā universitāte, Latvija
Ir zināms, ka projektēšanas šablonos balstītu risinājumu sarežģītība bieži ir augstāka, nekā nepieciešams problēmas risināšanai. Viens no iespējamiem iemesliem ir programmēšanas valodu nepietiekama izteiksmība. Promocijas darbā tiek piedāvāts paaugstināt izteiksmību, vispārinot programmēšanas valodu tipiskās konstrukcijas, ierosinot vispārinātās datu salikšanas un skaitļošanas konstrukcijas aprakstīt šablonu veidā un formalizēt, izmantojot tipu teorijas rīkus. Piedāvāto izmaiņu iespējamā ietekme tiek analizēta, balstoties MIX iedomātā datora emulatora piemērā.
Papildus informācija
Izdevuma tips | |
---|---|
Aizstāvēšanas datums | 07.10.2024. |
Formāts | |
Lappušu skaits | 153 |
Publicēšanas datums | |
Publicēts tiešsaistē | |
Valoda | |
Izdevējs | RTU Izdevniecība |
Publicēšanas valsts | Latvija |