Development of an Object-Oriented Type System Using Design Pattern Methodology
Promocijas darba kopsavilkums
Ruslans Batdalovs, Rīgas Tehniskā universitāte, Latvija
Apraksts
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ā.
Par autoru
Papildus informācija
| Izdevuma tips | |
|---|---|
| DOI | |
| Aizstāvēšanas datums | 07.10.2024. |
| Formāts | |
| ISBN (pdf) | |
| Lappušu skaits | 44 |
| Publicēšanas datums | |
| Publicēts tiešsaistē | |
| Valoda | |
| Izdevējs | RTU Izdevniecība |
| Publicēšanas valsts | Latvija |
