GitHub Actions toimingute kompileerimine datalogi
Nimi
Gulnar Mammadli
Kokkuvõte
Datalog on deklaratiivne programmeerimiskeel, mis defineerib seoseid reeglite ja faktidega. Selle artikliga püüame hinnata selle kasutamist alternatiivse süntaksina, et kirjutada pidevintegratsioon konveier GitHub Actions'i platvormi kaudu. Need konveierid on kirjutatud YAML-is ja tähistavad sõltuvusahelaid. Meie peamine panus on süntaksi katsetus, mis on lähedasem kirjeldatavale semantikale, potentsiaalselt lahendades levinumaid probleemid, mida arendajad nende failidega töötamisel kogevad.
Lõputöö keel
inglise
Lõputöö tüüp
Magister - Informaatika
Juhendaja(d)
Bruno Rucy Carneiro Alves de Lima, Mykhailo Dorokhov
Kaitsmise aasta
2024