Compiling GitHub Actions Into Datalog

dc.contributor.advisor	Carneiro Alves de Lima, Bruno Rucy, juhendaja
dc.contributor.author	Mammadli, Gulnar
dc.contributor.other	Tartu Ülikool. Loodus- ja täppisteaduste valdkond	et
dc.contributor.other	Tartu Ülikool. Arvutiteaduse instituut	et
dc.date.accessioned	2024-10-07T11:02:11Z
dc.date.available	2024-10-07T11:02:11Z
dc.date.issued	2024
dc.description.abstract	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.
dc.identifier.uri	https://hdl.handle.net/10062/105224
dc.language.iso	en
dc.publisher	Tartu Ülikool	et
dc.rights	Attribution-NonCommercial-NoDerivs 3.0 Estonia	en
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/ee/
dc.subject	GitHub Actions
dc.subject	Datalog
dc.subject	DevOps
dc.subject	CI/CD
dc.subject	Kompilaator
dc.subject.other	magistritööd	et
dc.subject.other	informaatika	et
dc.subject.other	infotehnoloogia	et
dc.subject.other	informatics	en
dc.subject.other	infotechnology	en
dc.title	Compiling GitHub Actions Into Datalog
dc.type	Thesis	en

Failid

Nüüd näidatakse 1 - 1 1